Bookbot

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

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