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 vydání
1994
Jakmile se objeví, pošleme e-mail.

Doručení

  •  

Platební metody

Nikdo zatím neohodnotil.Ohodnotit