Deroever (4 Ergebnisse)
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, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 169,30
EUR 3,45 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 175,30
EUR 7,60 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 178,16
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. Proper…ties of simulation 5.
