PACT 10 Proceedings of the Nineteenth International Conference on Parallell Architecture and Compilation Techniques
Pact 10 Conference Committee
₹5,197
Validated Designs for Object-Oriented Systems
by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee
₹4,203
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
This book describes an object-oriented design approach that combines the benefits of abstract modeling with the analytic power of formal methods to give designs that can be rigorously validated and assured with automated support.
Description supplied by the publisher.
Book details
- ISBN-13
- 9781852338817
- ISBN-10
- 1852338814
- Authors
- John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee
- Publisher
- Springer
- Condition
- New
- Subject
- Art History
More in Art History
Creating Place in Early Modern European Architecture
Elizabeth Merrill
₹4,525
Correct Hardware Design and Verification Methods
Paolo Enrico Camurati, Hans Eveking
₹5,552
The Filipino Primitive
Sarita Echavez See
₹3,561
Metaphoric Architecture
Michael C. Abrams
₹5,037
Architecture in Words
Louise Pelletier
₹4,243
Handbook of Spectrum Auction Design
Martin Bichler, Jacob K. Goeree
₹4,818
Approaches to Design and Synthesis of Antiparasitic Drugs
N. Anand, S. Sharma+
₹4,202
Modeling Human Behavior with Integrated Cognitive Architectures
Kevin A. Gluck, Richard W. Pew
₹5,185
Das Kunstgewerbe-Museum
Kunstgewerbe-Museum
₹4,743
Introduction to Reinforced Concrete Design
Hale Sutherland
₹2,483
1973
Museum Für Völkerkunde
₹4,255