Mural: a Formal Development Support System - C.B. Jones - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540196518 - May 29, 1991
In case cover and title do not match, the title is correct

C.B. Jones
Mural: a Formal Development Support System Softcover reprint of the original 1st ed. 1991 edition

Price
€ 47.99

Ordered from remote warehouse

Expected delivery Jul 30 - Aug 7
Get notified about new C.B. Jones releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented.

434 pages, 8 black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 29, 1991
ISBN13 9783540196518
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 421
Dimensions 170 × 242 × 23 mm   ·   693 g
Language English  
Contributor A.C. Wills
Contributor B. Ritchie
Contributor J. Bicarregui
Contributor M. Elvang-Goransson
Contributor R. Kneuper
Contributor R.E. Fields

More from the same publisher

See all of C.B. Jones ( e.g. Paperback Book )