Data refinement model oriented proof von roever willem paul (11 Ergebnisse)
Sprache: Englisch
Verlag: Cambridge University Press, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,72
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press 2009-03-09, 2009
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,33
EUR 18,23 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback. Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Erstausgabe
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,32
EUR 9,50 VersandVersand von Irland nach USAAnzahl: Mehr als 20 verfügbar
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. . . . . …
Sprache: Englisch
Verlag: Cambridge University Press, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 84,24
EUR 13,28 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
Sprache: Englisch
Verlag: Cambridge University Press, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 104,51
EUR 9,33 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
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. …
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 135,31
EUR 6,18 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 172,09
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 1998
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 181,06
EUR 9,50 VersandVersand von Irland nach USAAnzahl: Mehr als 20 verfügbar
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: UN; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 29. Weight in Grams: 845. . 1998. hardcover. . . . . …
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 185,40
EUR 13,28 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 232,84
EUR 9,33 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
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: UN; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 29. Weight in Grams: 845. . 1998. hardcover. . . . . Books ship from the US and Ireland. …
Weitere BilderSprache: Englisch
Verlag: Cambridge University Press, 2008
Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 85,10
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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. …
