Von dem Buch Proof in VDM: Practitioner Guide (Formal Approaches to Computing and Information Technology (FACIT) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Bicarregui, Juan C.;Lindsay, Peter A.;Moore, Richard;Ritchie, Brian;Fitzgerald, John S.: Proof in VDM: Practitioner Guide (Formal Approaches to Computing and Information Technology (FACIT) (ISBN: 9783540198130) in Deutsch.Nur diese Ausgabe anzeigen…
62%: Bicarregui, Fitzgerald, : Proof In Vdm: A Practitioner*s Guide Formal Approaches To Computing And Information Technology (ISBN: 9780387198132) 1994, Springer-Verlag Telos, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Proof in VDM: Practitioner Guide (Formal Approaches to Computing and Information Technology (FACIT)
10 Angebote vergleichen
| Preise | 2014 | 2015 | 2017 |
|---|---|---|---|
| Schnitt | € 88,63 | € 104,07 | € 85,49 |
| Nachfrage |
1
Symbolbild
Proof in VDM: A Practitioner's Guide (Workshops in Computing)
EN USISBN: 9780387198132 bzw. 038719813X, in Englisch, Springer-Verlag Telos, gebraucht.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: USA.
Von Händler/Antiquariat, Phatpocket Limited.
Springer-Verlag Telos. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support the African Children's Educational Trust (A-CET). Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Through our work with A-CET we have helped give hundreds of young people in Africa the vital chance to get an education. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Von Händler/Antiquariat, Phatpocket Limited.
Springer-Verlag Telos. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support the African Children's Educational Trust (A-CET). Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Through our work with A-CET we have helped give hundreds of young people in Africa the vital chance to get an education. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
2
Proof in VDM: A Practitioner's Guide (Workshops in Computing) (1994)
EN PB NWISBN: 9780387198132 bzw. 038719813X, in Englisch, 362 Seiten, Springer-Verlag Telos, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, BestBuyDeal.
Proof in VDM: A Practitioners' Guide is a textbook and manual on the practical aspects of using and constructing proofs in the specification and development of computing systems. Many introductory courses on formal techniques are, by their nature, unable to cover the pragmatics of proof. Practitioners competent in writing and comprehending formal specifications are therefore often at a loss when it comes to conducting the relevant proofs. Proof in VDM: A Practitioners' Guide addresses that need. The reader is guided through the elements of proof construction with the help of numerous worked examples. The techniques can be applied to specification and development in a range of formalisms, and are illustrated using the logic and the basic data types of the VDM specification language. The construction of theorems and proofs from actual specifications and refinements is also described, and a detailed case study, including several refinement steps, shows how formal proof can be used in practice. In addition, the book contains a directory of axioms and formally proved theorems. Paperback, Label: Springer-Verlag Telos, Springer-Verlag Telos, Produktgruppe: Book, Publiziert: 1994-01, Studio: Springer-Verlag Telos, Verkaufsrang: 15574720.
Von Händler/Antiquariat, BestBuyDeal.
Proof in VDM: A Practitioners' Guide is a textbook and manual on the practical aspects of using and constructing proofs in the specification and development of computing systems. Many introductory courses on formal techniques are, by their nature, unable to cover the pragmatics of proof. Practitioners competent in writing and comprehending formal specifications are therefore often at a loss when it comes to conducting the relevant proofs. Proof in VDM: A Practitioners' Guide addresses that need. The reader is guided through the elements of proof construction with the help of numerous worked examples. The techniques can be applied to specification and development in a range of formalisms, and are illustrated using the logic and the basic data types of the VDM specification language. The construction of theorems and proofs from actual specifications and refinements is also described, and a detailed case study, including several refinement steps, shows how formal proof can be used in practice. In addition, the book contains a directory of axioms and formally proved theorems. Paperback, Label: Springer-Verlag Telos, Springer-Verlag Telos, Produktgruppe: Book, Publiziert: 1994-01, Studio: Springer-Verlag Telos, Verkaufsrang: 15574720.
3
Symbolbild
Proof in VDM: A Practitioner's Guide (Workshops in Computing)
EN USISBN: 9780387198132 bzw. 038719813X, in Englisch, Springer-Verlag Telos, gebraucht.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: USA.
Von Händler/Antiquariat, Better World Books Ltd.
Springer-Verlag Telos. Used - Very Good. Ships from the UK. Former Library book. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Your purchase also supports literacy charities.
Von Händler/Antiquariat, Better World Books Ltd.
Springer-Verlag Telos. Used - Very Good. Ships from the UK. Former Library book. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Your purchase also supports literacy charities.
4
Proof in VDM: Practitioner´s Guide als von
DE HC NWISBN: 9783540198130 bzw. 354019813X, in Deutsch, Springer, gebundenes Buch, neu.
Proof in VDM: A Practitioner´s Guide:Formal Approaches of Computing and Information Technology (FACIT). Softcover reprint of the original 1st ed. 1994. Juan C. Bicarregui, John Fitzgerald, Peter A. Lindsay, Richard Moore, Brian Ritchie Proof in VDM: A Practitioner´s Guide:Formal Approaches of Computing and Information Technology (FACIT). Softcover reprint of the original 1st ed. 1994. Juan C. Bicarregui, John Fitzgerald, Peter A. Lindsay, Richard Moore, Brian Ritchie.
5
Symbolbild
Proof in VDM: A Practitioner's Guide (Workshops in Computing)
EN USISBN: 9780387198132 bzw. 038719813X, in Englisch, Springer-Verlag Telos, gebraucht.
Von Händler/Antiquariat, Phatpocket Limited [8420744], Waltham Abbey, HERTS, United Kingdom.
Ex-library, so some stamps and wear, but in good overall condition.
Ex-library, so some stamps and wear, but in good overall condition.
6
Symbolbild
Proof in VDM: A Practitioner's Guide (Workshops in Computing) (1994)
EN PB USISBN: 9780387198132 bzw. 038719813X, in Englisch, Springer-Verlag Telos, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Booked Again [55383221], Summit, NJ, U.S.A.
Good condition, some are ex-library and can have markings.
Good condition, some are ex-library and can have markings.
7
Symbolbild
Proof in VDM: Practitioner Guide (Paperback) (1993)
DE PB NW RPISBN: 9783540198130 bzw. 354019813X, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Proof in VDM: Practitioner's Guide
DE PB NWISBN: 9783540198130 bzw. 354019813X, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Symbolbild
Proof in VDM: A Practitioner's Guide (1993)
DE PB USISBN: 9783540198130 bzw. 354019813X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, UK, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Symbolbild
Proof in VDM: Practitioner Guide (2014)
DE PB NWISBN: 9783540198130 bzw. 354019813X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Von Händler/Antiquariat, Paperbackshop-US [8408184], Secaucus, NJ, U.S.A.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
Lade…