Frohe Weihnachten und wunderbare Buchmomente!

Das Buch ist derzeit nicht auf Lager

Abstraktionstechniken für automatische Verifikationsmethoden

Autoren

Peter Kelb

Parameter

ISBN: 9783826519642
Verlag: Shaker

Kategorien

Deine Änderungsvorschläge

Buchvariante

1996

Buchkauf

Wir benachrichtigen dich per E-Mail.