Bidoit berard mckenzie (9 Ergebnisse)

Autor:

Mit der Detailsuche verfeinern

Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]
Sprache: Englisch
Verlag: Springer 2001
3540415238 / 9783540415237
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 112,32
EUR 6,06 Versand
Versand innerhalb von USA
Anzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
Entdecken Sie mehr von M. Bidoit
Entdecken Sie ihre veröffentlichten Werke und Sammlerangebote.M. Bidoit entdecken
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
Sprache: Englisch
Verlag: Springer 2001
3540415238 / 9783540415237
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 151,43
EUR 17,28 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Zustand: New.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
Sprache: Englisch
Verlag: Springer 2001
3540415238 / 9783540415237
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 168,15
EUR 2,30 Versand
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Zustand: New.
Systems and Software Verification
M. Bidoit B. Berard P. McKenzie
Sprache: Englisch
Verlag: Springer 2010
3642074782 / 9783642074783
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in mit 4 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 200,09
EUR 3,48 Versand
Versand innerhalb von USA
Anzahl: 4 verfügbar
Zustand: New. pp. 208.
Systems and Software Verification
B. Berard M. Bidoit P. McKenzie
Sprache: Englisch
Verlag: Springer 2001
3540415238 / 9783540415237
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in mit 4 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 200,89
EUR 3,48 Versand
Versand innerhalb von USA
Anzahl: 4 verfügbar
Zustand: New. pp. 212.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
Sprache: Englisch
Verlag: Springer 2001
3540415238 / 9783540415237
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Gebraucht - Wie neu
EUR 244,47
EUR 17,28 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
Sprache: Englisch
Verlag: Springer 2001
3540415238 / 9783540415237
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Gebraucht - Wie neu
EUR 269,83
EUR 2,30 Versand
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Systems and Software Verification
Bidoit M. Berard B. McKenzie P.
Sprache: Englisch
Verlag: Springer 2010
3642074782 / 9783642074783
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, , Vereinigtes KönigreichMajestic Books
Verkäufer/-in mit 4 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 212,32
EUR 7,49 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 208 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Systems and Software Verification
Berard B. Bidoit M. McKenzie P.
Sprache: Englisch
Verlag: Springer 2001
3540415238 / 9783540415237
- Hardcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, , Vereinigtes KönigreichMajestic Books
Verkäufer/-in mit 4 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 212,62
EUR 7,49 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 212 Illus.

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification : Model-Checking Techniques and Tools

Systems and Software Verification : Model-Checking Techniques and Tools

Systems and Software Verification

Systems and Software Verification

Systems and Software Verification : Model-Checking Techniques and Tools

Systems and Software Verification : Model-Checking Techniques and Tools

Systems and Software Verification

Systems and Software Verification