Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1991
ISBN 10: 354019651X ISBN 13: 9783540196518
Language: English
Seller: Ammareal, Morangis, France
Softcover. Condition: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Salissures sur la tranche. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Stains on the edge. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
£ 33.46
Convert currencyQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Perfect Paperback. Condition: Like New. Like New. book.
Seller: moluna, Greven, Germany
£ 43.06
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence a.