The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Specification and Transformation of Programs A Formal Approach to Software Development

Design Principles for Interactive Software,0412724707,9780412724701
28 %

Design Principles for Int ...

Gilbert Cockton ...

List Price: $ 139.99

Our Price: $ 100.59

Modern Software Tools for Scientific Computing,0817639748,9780817639747
59 %

Modern Software Tools for ...

A. Bruaset, E. ...

List Price: $ 169.00

Our Price: $ 68.99

Radiowave Propagation Over Ground Software,0412546809,9780412546808
27 %

Radiowave Propagation Ove ...

Z. Wu, J. MacLe ...

List Price: $ 549.99

Our Price: $ 398.99

Logic and Algebra of Specification,3540558136,9783540558132
35 %

Logic and Algebra of Spec ...

Friedrich L. Ba ...

List Price: $ 229.99

Our Price: $ 150.52

A Windows NT™ Guide to the Web Covering browsers, servers, and related software,0387947922,9780387947921
53 %

A Windows NT™ Guide to th ...

Richard Raucci

List Price: $ 79.99

Our Price: $ 37.84

Software Methods for Business Reengineering,0387945539,9780387945538
52 %

Software Methods for Busi ...

Alfs Berztiss

List Price: $ 79.99

Our Price: $ 38.64

Protocol Specification, Testing and Verification XIV,0412636409,9780412636400
40 %

Protocol Specification, T ...

S.T. Vuong, Sam ...

List Price: $ 249.00

Our Price: $ 148.99

The Temporal Logic of Reactive and Concurrent Systems Specification,0387976647,9780387976648
23 %

The Temporal Logic of Rea ...

Zohar Manna, Am ...

List Price: $ 139.99

Our Price: $ 108.38

Protocol Specification, Testing and Verification XV,0412716208,9780412716201
42 %

Protocol Specification, T ...

Piotr Dembinski ...

List Price: $ 299.00

Our Price: $ 172.84

Software for Parallel Computation,3540564519,9783540564515
35 %

Software for Parallel Com ...

Janusz S. Kowal ...

List Price: $ 179.99

Our Price: $ 116.52