Willem-Paul de Roever: Data Refinement - MEOVERSA

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.

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

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

Das Handbuch für Maker und IoT-Development

EAN: 9783367115679

Sprache: Deutsch

Von/Mit: Claus Kühnel

39,90 €

Lieferzeit 1-2 Werktage