Das Buch ist derzeit nicht auf Lager

Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung

Autoren

Stefan Kupferschmid

Parameter

Kategorien

Informatik & Programmierung

Reihe: Design, test and verification of embedded systems

Buchkauf

Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung, Stefan Kupferschmid

Sprache
Erscheinungsdatum: 2013

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden