Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, 47, Band 47) - Softcover

Buch 29�von 40: Cambridge Tracts in Theoretical Computer Science

Roever, Willem-Paul De

9780521103503: Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, 47, Band 47)

Softcover

ISBN 10: 0521103509 ISBN 13: 9780521103503

Verlag: Cambridge University Press, 2009

Alle Exemplare dieser ISBN-Ausgabe

0 Gebraucht

3 Neu

Von EUR 70,33

Graduate text in formal methods in computer science.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Cambridge University Press
Erscheinungsdatum: 2009
Sprache: Englisch
ISBN 10: 0521103509
ISBN 13: 9780521103503
Einband: Taschenbuch
Auflage: 1
Anzahl der Seiten: 436
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

Weitere beliebte Ausgaben desselben Titels

9780521641708: Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science)

Vorgestellte Ausgabe

ISBN 10: 0521641705 ISBN 13: 9780521641708
Verlag: Cambridge University Press, 1999
Hardcover

Suchergebnisse f�r Data Refinement: Model-Oriented Proof Methods and their...

Beispielbild f�r diese ISBN

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

De Roever, Willem-Paul; Engelhardt, Kai

Verlag: Cambridge University Press, 2008

ISBN 10: 0521103509 ISBN 13: 9780521103503

Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. In. Artikel-Nr. ria9780521103503_new

Verk�ufer kontaktieren

Neu kaufen

EUR 70,33

EUR 13,73 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

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

Roever, Willem-Paul de

Verlag: Cambridge University Press, 2008

ISBN 10: 0521103509 ISBN 13: 9780521103503

Neu Softcover

Anbieter: Kennys Bookstore, Olney, MD, USA

Verk�uferbewertung 5 von 5 Sternen

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. Artikel-Nr. V9780521103503

Verk�ufer kontaktieren

Neu kaufen

EUR 101,26

EUR 9,04 Versand
Versand innerhalb von USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers