The book is currently out of stock

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte

Authors

Stefan Conrad

Parameters

Categories

Computers, IT, Programming

Series: Fortschritt-Berichte VDI : Reihe 10, Informatik, Kommunikation

Book purchase

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, Stefan Conrad

Language
Released: 1994

We’ll notify you via email once we track it down.

Payment methods