Alle Kategorien
Bücher
Bestseller Hardcover
Bestseller Taschenbuch
Bestseller Autor
Persönlichkeitsentwicklung
Mangas
Finanzbücher
Selbstfindung
Essen & Trinken
Englischsprachige Bücher
Märchen & Sagen
Krimis & Thriller
Neuerscheinungen
Ratgeber
Motivationsbücher
WAS IST WAS
Wieso? Weshalb? Warum?
BookTok
Schule & Lernen
Schulbücher bestellen
Berufsschulbücher
Neuerscheinungen
Kreativität & Do it yourself
Gesellschaftsspiele
Bestseller
Brettspiele
Geschicklichkeitsspiele
EXIT - Das Spiel
Neuerscheinungen
Kalender
Adventskalender
Notizkalender
Tageskalender
Wochenkalender
Monatskalender
Motivkalender
Hörbücher
Neuerscheinungen
Themenwelt
tiptoi
Puzzlespiele
Halloween
Winterwonderland
Autor des Monats
Asterix
Valentinstag
Frühlingserwachen
Warrior Cats
Black Dagger
Fast & Furious
Robert Hunter
Midnight Breed
Harry Potter
David Hunter
Herr der Ringe
Ostern
Tonies
0,00 €
Cover: 9780521103503 | Data Refinement | Model-Oriented Proof Methods and Their Comparison
Rückseite: 9780521103503 | Data Refinement | Model-Oriented Proof Methods and Their Comparison
Cover: 9780521103503 | Data Refinement | Model-Oriented Proof Methods and Their Comparison
Rückseite: 9780521103503 | Data Refinement | Model-Oriented Proof Methods and Their Comparison
Dekorationsartikel gehören nicht zum Leistungsumfang.
Data Refinement
Model-Oriented Proof Methods and Their Comparison
Taschenbuch von Willem-Paul de Roever (u. a.)
Sprache: Englisch

81,45 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
Graduate text in formal methods in computer science.
Graduate text in formal methods in computer science.
Inhaltsverzeichnis
Part I. Theory: 1. Introduction to data refinement; 2. Simulation as a proof method for data refinement; 3. Relations and recursion; 4. Properties of simulation; 5. Notation and semantics; 6. A Hoare logic; 7. Simulation and Hoare logic; 8. An extension to total correctness; 9. Simulation and total correctness; 10. Refinement calculus; Part II. Applications: 11. Reynolds' method; 12. VDM; 13. Z, Hehner's method and Back's refinement calculus; 14. Refinement methods due to Abadi & Lamport and Lynch. Appendix A. An introduction to Hoare logic; Appendix B. A primer on ordinals and transfinite induction; Appendix C. Notational convention; Appendix D. Precedences; Bibliography; Index.
Details
Erscheinungsjahr: 2008
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521103503
ISBN-10: 0521103509
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: de Roever, Willem-Paul
Engelhardt, Kai
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 229 x 152 x 26 mm
Von/Mit: Willem-Paul de Roever (u. a.)
Erscheinungsdatum: 01.11.2008
Gewicht: 0,704 kg
Artikel-ID: 101685281

Ähnliche Produkte

Taschenbuch
Cover: 9783898647762 | UML @ Classroom | Martina Seidl (u. a.) | Taschenbuch | X | Deutsch
UML @ Classroom
Eine Einführung in die objektorientierte Modellierung
EAN: 9783898647762
Sprache: Deutsch
Von/Mit: Martina Seidl (u. a.)

24,90 €

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781617295980 | Classic Computer Science Problems in Python | David Kopec | Buch
Classic Computer Science Problems in Python
EAN: 9781617295980
Sprache: Englisch
Von/Mit: David Kopec

61,70 €

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781999579579 | Machine Learning Engineering | Andriy Burkov | Taschenbuch | Englisch
Machine Learning Engineering
EAN: 9781999579579
Sprache: Englisch
Von/Mit: Andriy Burkov

72,25 €

Lieferzeit 1-2 Wochen

Taschenbuch
Tipp
Cover: 9781098109431 | Command-Line Rust | A Project-Based Primer for Writing Rust CLIs
Command-Line Rust
A Project-Based Primer for Writing Rust CLIs
EAN: 9781098109431
Sprache: Englisch
Von/Mit: Ken Youens-Clark

53,95 €

Lieferzeit 1-2 Werktage

Bundle
Cover: 9783446477575 | IT-Dokumentation im Wandel | Manuela Reiss (u. a.) | Bundle | 1 Buch
IT-Dokumentation im Wandel
Konzepte für Compliance, Agilität und Digitalisierung
EAN: 9783446477575
Sprache: Deutsch
Von/Mit: Manuela Reiss (u. a.)

49,99 €

Lieferzeit 1-2 Werktage

Taschenbuch
Tipp
Cover: 9781098156350 | Designing Distributed Systems | Brendan Burns | Taschenbuch | Englisch
Designing Distributed Systems
Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes
EAN: 9781098156350
Sprache: Englisch
Von/Mit: Brendan Burns

49,20 €

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783988890344 | API-Design | Praxishandbuch für Java- und Webservice-Entwickler | Buch
API-Design
Praxishandbuch für Java- und Webservice-Entwickler
EAN: 9783988890344
Sprache: Deutsch
Von/Mit: Kai Spichale

44,90 €

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9789365891201 | CISO Essentials Guide | Sriram Lakshmanan | Taschenbuch | Englisch
CISO Essentials Guide
A three-pronged approach to leading successful security programs (English Edition)
EAN: 9789365891201
Sprache: Englisch
Von/Mit: Sriram Lakshmanan

45,55 €

Lieferzeit 1-2 Wochen

Taschenbuch
Tipp
Cover: 9781394370320 | Statistical Analysis with Python For Dummies | Joseph Schmuller | Buch
Statistical Analysis with Python For Dummies
EAN: 9781394370320
Sprache: Englisch
Von/Mit: Joseph Schmuller

34,15 €

Lieferzeit 1-2 Wochen

Taschenbuch
Tipp
Cover: 9798341640221 | AWS Certified Cloud Practitioner (Clf-C02) Study Guide | Tom Taulli
AWS Certified Cloud Practitioner (Clf-C02) Study Guide
In-Depth Exam Prep and Practice
EAN: 9798341640221
Sprache: Englisch
Von/Mit: Tom Taulli

53,20 €

Lieferzeit 1-2 Werktage

Buch
Neu
Cover: 9783367115679 | MicroPython | Das Handbuch für Maker und IoT-Development | Kühnel
MicroPython
Das Handbuch für Maker und IoT-Development
EAN: 9783367115679
Sprache: Deutsch
Von/Mit: Claus Kühnel

39,90 €

Lieferzeit 1-2 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...