Deroever (6 Ergebnisse)

Sprache: Englisch
Verlag: Cambridge University Press, 1998
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Better World Books: West, Reno, NV, USABetter World Books: West
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 146,43
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Sprache: Englisch
Verlag: Cambridge University Press CUP, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- Print-on-Demand
Anbieter: Books Puddle, Woodside, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 176,75
EUR 3,55 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 436.

Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 182,53
EUR 7,65 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 436 18 Illus.

Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 179,83
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 436.

Sprache: Englisch
Verlag: Cambridge University Press, 2007
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 170,11
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. 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. …
Weitere BilderSprache: Englisch
Verlag: Cambridge University Press, 2007
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 176,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Buch. Zustand: Neu. Data Refinement | Model-Oriented Proof Methods and Their Comparison | W. Deroever (u. a.) | Buch | Gebunden | Englisch | 2007 | Cambridge University Press | EAN 9780521641708 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…