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

Specification and Transformation of Programs A Formal Approach to Software Development

by  
Specification and Transformation of Programs A Formal Approach to Software Development,3540525890,9783540525899

Paperback

$ 99.00

$ 63.27
Save $ 35.73

Enquire about this book

Available

Usually Ships in 21 Days.

Ships From New York

Free Shipping within U.S.A

International Shipping?

Check Delivery Estimate and Shipping Cost for your country

Book Information

Publisher:Springer
Published In:05-Jul-1990
ISBN-10:3540525890
ISBN-13:9783540525899
Binding Type:Paperback
Weight:2.22 lbs
Pages:pp. 512, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss

The Title "Specification and Transformation of Programs A Formal Approach to Software Development" is written by Helmut A. Partsch. This book was published in the year 1990. The ISBN number 3540525890|9783540525899 is assigned to the Paperback version of this title. This book has total of pp. 0 (Pages). The publisher of this title is Springer. We have about 144461 other great books from this publisher. Specification and Transformation of Programs A Formal Approach to Software Development is currently Available with us.

Related Books

Software Methods for Business Reengineering,0387945539,9780387945538
52 %

Software Methods for Busi ...

Alfs Berztiss

List Price: $ 79.99

Our Price: $ 38.64

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

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

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

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

Protocol Specification, T ...

S.T. Vuong, Sam ...

List Price: $ 249.00

Our Price: $ 148.99