Bookbot

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

Acquisto del libro

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

Lingua
Pubblicato
1994
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento