Showing  Hardcover Book   ·   Show all

In stock at iMusic

Show unavailable items

Releases by Klaus Schneider

Cover for Klaus Schneider · Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series (Hardcover Book) (2003)
Hardcover Book
2004 edition
Verification of Reactive Systems...
Klaus Schneider