Bookbot

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte

Autor*innen

Buchkauf

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, Stefan Conrad

Sprache
Erscheinungsdatum
1994
Wir benachrichtigen dich per E-Mail.

Lieferung

  •  

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben