Advances in Verification ...
Wojciech Pencze ...
Our Price: $ 301.22
SAT 2005 Satisfiability R ...
Enrico Giunchig ...
List Price: $ 199.99
Our Price: $ 141.57
Symbolic Simulation Metho ...
Robert B. Jones
List Price: $ 169.99
Our Price: $ 30.64
Lectures on Proof Verific ...
Ernst W. Mayr, ...
List Price: $ 69.99
Our Price: $ 54.99
Protocol Specification, T ...
S.T. Vuong, Sam ...
List Price: $ 249.00
Our Price: $ 142.63
Hardware Verification wit ...
Mike Mintz, Rob ...
Our Price: $ 64.71
Methods and Procedures fo ...
Brian J. Taylor
Our Price: $ 34.58
Hardware/Software Co-Desi ...
Jean-Michel Ber ...
List Price: $ 279.99
Our Price: $ 177.66
Wavelet Analysis The Scal ...
Howard L. Resni ...
List Price: $ 89.99
Our Price: $ 41.23
Design, Specification and ...
Philippe Palanq ...
List Price: $ 109.00
Our Price: $ 58.99
Verification Plans The Fi ...
Peet James
List Price: $ 179.99
Our Price: $ 147.49
Validation and Verificati ...
Anca Vermesan, ...
Our Price: $ 144.99
Taxonomies for the Develo ...
Brian Bailey, G ...
List Price: $ 149.99
Our Price: $ 31.51
Introduction to Formal Ha ...
Thomas Kropf
Our Price: $ 57.68
Piotr Dembinski ...
List Price: $ 299.00
Our Price: $ 165.32
Java and the Java Virtual ...
Robert F. Stärk ...
Our Price: $ 57.99
Verification Methodology ...
Janick Bergeron ...
List Price: $ 219.99
Our Price: $ 144.66
Constraint-Based Verifica ...
Jun Yuan, Carl ...
Our Price: $ 39.73
Cryptographic Security Ar ...
Peter Gutmann
List Price: $ 139.99
Our Price: $ 43.77
Petri Nets for Systems En ...
Claude Girault, ...
List Price: $ 159.99
Our Price: $ 104.18
Francois Bodart ...
Our Price: $ 55.62