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
HK$ 438
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 11 - 17

Our customers say:

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

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

Mere med samme udgiver

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