The book is currently out of stock
Book purchase
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, Stefan Conrad
- Language
- Released
- 1994
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.