Specification and Transformation of Programs A Formal Approach to Software Development

Logic and Algebra of Spec ...

Friedrich L. Ba ...

List Price: $ 229.99

Our Price: $ 144.42

Radiowave Propagation Ove ...

Z. Wu, J. MacLe ...

List Price: $ 549.99

Our Price: $ 398.99

The Temporal Logic of Rea ...

Zohar Manna, Am ...

List Price: $ 139.99

Our Price: $ 109.85

Design Principles for Int ...

Gilbert Cockton ...

List Price: $ 139.99

Our Price: $ 96.88

Software for Parallel Com ...

Janusz S. Kowal ...

List Price: $ 179.99

Our Price: $ 108.70

Protocol Specification, T ...

Piotr Dembinski ...

List Price: $ 299.00

Our Price: $ 165.99

Protocol Specification, T ...

S.T. Vuong, Sam ...

List Price: $ 249.00

Our Price: $ 143.23

Modern Software Tools for ...

A. Bruaset, E. ...

List Price: $ 169.00

Our Price: $ 66.82

A Windows NT™ Guide to th ...

Richard Raucci

List Price: $ 79.99

Our Price: $ 51.99

Software Methods for Busi ...

Alfs Berztiss

List Price: $ 79.99

Our Price: $ 36.20