Knihobot

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

Nákup knihy

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

Jazyk
Rok vydania
1994
Akonáhle sa objaví, pošleme e-mail.

Doručenie

  •  

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť