BooksCOMPUTERS/Computer Science
Verification of Reactive Systems: Formal Methods and Algorithms
by Klaus Schneider
Product Details
Author
Klaus Schneider
Publisher
Springer/Sci-Tech/Trade
Published
2003
Binding
Hardcover
ISBN
9783540002963
Language
English
Genre
COMPUTERS/Computer Science
Category
Books