Explore the latest books of this year!
Bookbot

Verification of co-operating-systems and behaviour abstraction

Book purchase

Verification of co-operating-systems and behaviour abstraction, Ulrich Nitsche

Language
Released
1998
We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating