Das Buch ist derzeit nicht auf Lager

Abstraktionstechniken für automatische Verifikationsmethoden

Autoren

Peter Kelb

Parameter

Kategorien

Informatik & Programmierung

Reihe: Berichte aus der Informatik

Buchkauf

Abstraktionstechniken für automatische Verifikationsmethoden, Peter Kelb

Sprache
Erscheinungsdatum: 1996

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden