Specification and Transformation of Programs A Formal Approach to Software Development

The Temporal Logic o ...

Zohar Manna, Am ...

List Price: £ 99.99

Our Price: £ 80.99

Software for Paralle ...

Janusz S. Kowal ...

List Price: £ 129.99

Our Price: £ 79.25

Logic and Algebra of ...

Friedrich L. Ba ...

List Price: £ 169.99

Our Price: £ 109.89

Modern Software Tool ...

A. Bruaset, E. ...

List Price: £ 113.00

Our Price: £ 47.64

Design Principles fo ...

Gilbert Cockton ...

List Price: £ 99.99

Our Price: £ 71.90

A Windows NT™ Guide ...

Richard Raucci

List Price: £ 52.99

Our Price: £ 25.84

Protocol Specificati ...

S.T. Vuong, Sam ...

List Price: £ 154.00

Our Price: £ 107.35

Radiowave Propagatio ...

Z. Wu, J. MacLe ...

List Price: £ 349.99

Our Price: £ 319.72

Software Methods for ...

Alfs Berztiss

List Price: £ 54.99

Our Price: £ 23.99

Protocol Specificati ...

Piotr Dembinski ...

List Price: £ 197.00

Our Price: £ 124.46