Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47) (Volume 0)

De Roever, Willem-Paul; Engelhardt, Kai

ISBN 10: 0521103509 ISBN 13: 9780521103503
Verlag: Cambridge University Press, 2008
Neu Softcover

Verkäufer Ria Christie Collections, Uxbridge, Vereinigtes Königreich Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

AbeBooks-Verkäufer seit 25. März 2015

Beschreibung

Beschreibung:

In. Bestandsnummer des Verkäufers ria9780521103503_new

Diesen Artikel melden

Inhaltsangabe:

Graduate text in formal methods in computer science.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Data Refinement: Model-Oriented Proof ...
Verlag: Cambridge University Press
Erscheinungsdatum: 2008
Einband: Softcover
Zustand: New

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

Willem-Paul de Roever
ISBN 10: 0521103509 ISBN 13: 9780521103503
Neu Paperback

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9780521103503

Verkäufer kontaktieren

Neu kaufen

EUR 72,95
EUR 18,13 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

De Roever, Willem-Paul/ Engelhardt, Kai
ISBN 10: 0521103509 ISBN 13: 9780521103503
Neu Paperback
Print-on-Demand

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 1st edition. 435 pages. 8.90x5.98x1.18 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521103509

Verkäufer kontaktieren

Neu kaufen

EUR 75,93
EUR 14,63 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

De Roever, Willem-Paul; Engelhardt, Kai
ISBN 10: 0521103509 ISBN 13: 9780521103503
Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9780521103503

Verkäufer kontaktieren

Neu kaufen

EUR 77,42
Versand gratis
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

de Roever, Willem-Paul|Engelhardt, Kai
ISBN 10: 0521103509 ISBN 13: 9780521103503
Neu Softcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Graduate text in formal methods in computer science.InhaltsverzeichnisPart 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. Bestandsnummer des Verkäufers 446925310

Verkäufer kontaktieren

Neu kaufen

EUR 78,72
EUR 48,99 Versand
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Willem-Paul de Roever
ISBN 10: 0521103509 ISBN 13: 9780521103503
Neu Paperback / softback
Print-on-Demand

Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Bestandsnummer des Verkäufers C9780521103503

Verkäufer kontaktieren

Neu kaufen

EUR 80,27
EUR 20,43 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Roever, Willem-Paul de
ISBN 10: 0521103509 ISBN 13: 9780521103503
Neu Softcover Erstausgabe

Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 151 x 229 x 27. Weight in Grams: 660. . 2009. 1st Edition. paperback. . . . . Bestandsnummer des Verkäufers V9780521103503

Verkäufer kontaktieren

Neu kaufen

EUR 82,32
EUR 10,50 Versand
Versand von Irland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Willem-Paul de Roever
ISBN 10: 0521103509 ISBN 13: 9780521103503
Neu Paperback
Print-on-Demand

Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: new. Paperback. The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation. Graduate text in formal methods in computer science. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9780521103503

Verkäufer kontaktieren

Neu kaufen

EUR 82,58
EUR 43,31 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Willem-Paul de Roever (u. a.)
ISBN 10: 0521103509 ISBN 13: 9780521103503
Neu Taschenbuch
Print-on-Demand

Anbieter: preigu, Osnabrück, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Data Refinement | Model-Oriented Proof Methods and Their Comparison | Willem-Paul de Roever (u. a.) | Taschenbuch | Englisch | 2008 | Cambridge University Press | EAN 9780521103503 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 101685281

Verkäufer kontaktieren

Neu kaufen

EUR 85,10
EUR 70,00 Versand
Versand von Deutschland nach USA

Anzahl: 5 verfügbar

In den Warenkorb

Foto des Verkäufers

Kai Engelhardt
ISBN 10: 0521103509 ISBN 13: 9780521103503
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation. Bestandsnummer des Verkäufers 9780521103503

Verkäufer kontaktieren

Neu kaufen

EUR 101,66
EUR 63,52 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Roever, Willem-Paul de
ISBN 10: 0521103509 ISBN 13: 9780521103503
Neu Softcover

Anbieter: Kennys Bookstore, Olney, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 151 x 229 x 27. Weight in Grams: 660. . 2009. 1st Edition. paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9780521103503

Verkäufer kontaktieren

Neu kaufen

EUR 102,78
EUR 9,18 Versand
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 3 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen