Petri Nets for Systems En ...
Claude Girault, ...
List Price: $ 159.99
Our Price: $ 103.35
High-Integrity System Spe ...
Jonathan P. Bow ...
List Price: $ 109.99
Our Price: $ 59.85
The Kyoto Protocol Intern ...
E.U. von Weizsä ...
List Price: $ 219.99
Our Price: $ 143.99
Protocol Specification, T ...
S.T. Vuong, Sam ...
List Price: $ 249.00
Our Price: $ 144.20
Java and the Java Virtual ...
Robert F. Stärk ...
List Price: $ 109.00
Our Price: $ 56.99
Hardware/Software Co-Desi ...
Jean-Michel Ber ...
List Price: $ 279.99
Our Price: $ 184.63
Specification and Transfo ...
Helmut A. Parts ...
List Price: $ 99.00
Our Price: $ 58.99
Specification and Estimat ...
G. Hasenkamp
List Price: $ 119.99
Our Price: $ 52.55
Statistical Mechanics of ...
D. Reguera, J.M ...
Our Price: $ 61.55
Conditional Specification ...
Barry C. Arnold ...
List Price: $ 169.99
Our Price: $ 57.24
Specification and Develop ...
Manfred Broy, K ...
List Price: $ 99.99
Our Price: $ 29.97
System Specification & De ...
Eugenio Villar, ...
List Price: $ 199.99
Our Price: $ 144.53
Computer Aided Verificati ...
Ganesh Gopalakr ...
Our Price: $ 222.25
Introduction to Formal Ha ...
Thomas Kropf
List Price: $ 89.99
Our Price: $ 56.44
Logic and Algebra of Spec ...
Friedrich L. Ba ...
List Price: $ 229.99
Our Price: $ 145.40
Validation and Verificati ...
Anca Vermesan, ...
Our Price: $ 113.24
Verification Plans The Fi ...
Peet James
List Price: $ 179.99
Our Price: $ 95.52
Symbolic Simulation Metho ...
Robert B. Jones
Our Price: $ 29.59
Cryptographic Security Ar ...
Peter Gutmann
List Price: $ 139.99
Our Price: $ 41.88
Lectures on Proof Verific ...
Ernst W. Mayr, ...
List Price: $ 69.99
Our Price: $ 54.41
The Temporal Logic of Rea ...
Zohar Manna, Am ...
Our Price: $ 110.56