Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Data Refinement

Name: Data Refinement
Brand: Cambridge University Press
SKU: 02038790
Price: 143.09 EUR
Availability: InStock
Author: Willem-Paul de RoeverKai Engelhardt
ISBN: 9780521641708

Model-Oriented Proof Methods and their Comparison

Willem-Paul de RoeverKai Engelhardt

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02038790

Verlag Cambridge University Press, Dezember 1998

The goal of this book is to provide a comprehensive and systematic introduction to the important and... Vollständige Beschreibung

Libristo-Code: 02038790

350 b

143.09 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kreuzworträtsel für coole Tüftler Deike

Broschur

8.00 €

Kunstbuch - Arbeitsbücher für die Sekundarstufe I - Neubearbeitung Achim Algner

Hardcover

35.50 €

UE7 - Manuel de sciences humaines en médecine - 2e édition De

Broschur

19.39 €

La fin n'est que le début Mazetti

Broschur

16.79 €

HISTORIA DEL CUERPO DE REDACTORES TAQUíGRAFOS Y ESTENOTIPISTAS DE LAS CORTES GEN NúñEZ HIDALGO

Broschur

10.89 €

La Morale de Bismarck Charles Benoist

Broschur

9.99 €

Ri-significazione degli elementi multimediali Cálita Fernanda de Paula Martins

Broschur

65.89 €

Historia de Venezuela: 1 Jerónimo Bécker

Broschur

29.09 €

To your eternity Yoshitoki Oima

Broschur

5.89 €

Melocotón loco Megan Maxwell

Broschur

14.19 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Data Refinement

Autor Willem-Paul de RoeverKai Engelhardt

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1998

Anzahl der Seiten 436

EAN 9780521641708

ISBN 0521641705

Libristo-Code 02038790

Verlag Cambridge University Press

Gewicht 845

Abmessungen 159 x 236 x 32

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Computermodellierung und -simulation

EDV und Informationstechnologie > Datenbanken

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert