Das Buch ist derzeit nicht auf Lager

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte

Autoren

Stefan Conrad

Parameter

Kategorien

Informatik & Programmierung

Reihe: Fortschritt-Berichte VDI : Reihe 10, Informatik, Kommunikation

Buchkauf

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, Stefan Conrad

Sprache
Erscheinungsdatum: 1994

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Deine Änderungsvorschläge