The Temporal Logic o ...
Zohar Manna, Am ...
List Price: £ 99.99
Our Price: £ 80.99
Specification and Tr ...
Helmut A. Parts ...
List Price: £ 60.99
Our Price: £ 42.16
Logic and Algebra of ...
Friedrich L. Ba ...
List Price: £ 169.99
Our Price: £ 109.89
Petri Nets for Syste ...
Claude Girault, ...
List Price: £ 109.99
Our Price: £ 75.18
Java and the Java Vi ...
Robert F. Stärk ...
List Price: £ 72.00
Our Price: £ 40.58
System Specification ...
Eugenio Villar, ...
List Price: £ 139.99
Our Price: £ 107.54
Conditional Specific ...
Barry C. Arnold ...
List Price: £ 119.99
Our Price: £ 40.80
Cryptographic Securi ...
Peter Gutmann
Our Price: £ 28.86
Validation and Verif ...
Anca Vermesan, ...
List Price: £ 199.99
Our Price: £ 85.43
High-Integrity Syste ...
Jonathan P. Bow ...
List Price: £ 74.99
Our Price: £ 42.91
Specification of Sof ...
V.S. Alagar
List Price: £ 59.99
Our Price: £ 23.45
The Kyoto Protocol I ...
E.U. von Weizsä ...
List Price: £ 149.99
Our Price: £ 107.31
Specification and De ...
Manfred Broy, K ...
List Price: £ 69.99
Our Price: £ 19.89
Hardware/Software Co ...
Jean-Michel Ber ...
Our Price: £ 138.67
Lectures on Proof Ve ...
Ernst W. Mayr, ...
List Price: £ 49.99
Our Price: £ 38.73
Protocol Specificati ...
S.T. Vuong, Sam ...
List Price: £ 154.00
Our Price: £ 107.35
Specification and Es ...
G. Hasenkamp
List Price: £ 89.99
Our Price: £ 38.47
Verification Plans T ...
Peet James
List Price: £ 129.99
Our Price: £ 70.38
Statistical Mechanic ...
D. Reguera, J.M ...
List Price: £ 79.99
Our Price: £ 42.50
Introduction to Form ...
Thomas Kropf
List Price: £ 64.99
Our Price: £ 39.58