Formal approaches software testing (64 résultats)

Couverture souple

Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AllemagneAntiquariat Thomas Haker GmbH & Co. KG

Vendeur avec une évaluation de 5 étoiles

Grabowski, Jens [Editor]; Nielsen, Brian [Editor];

Membre d’une association professionnelle : GIAQ

Etat: Occasion - Très bon

EUR 9,60

EUR 20,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Sehr gut. VIII, 253 S.; Ill. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 515.

Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (Lecture . / Programming and Software Engineering)

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Havelund, Klaus [Editor]; NÃ?Âºnez, Manuel [Editor]; Rosu, Grigore [Editor]; Wolff, Burkhart [Editor];

Etat: Occasion - Assez bon

EUR 36,18

EUR 6,07 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, . / Programming and Software Engineering)

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 38,66

EUR 6,07 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Formal Approaches To Software Testing And Runtime Verification

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,54

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Formal Approaches To Software Testing And Runtime Verification

0

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,54

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, . 6th, 2003 (Lecture Notes in Computer Science)

Ulrich, Andreas [Editor]

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 45,75

EUR 6,07 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Formal Approaches to Software Testing and Runtime Verification

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Occasion

EUR 52,46

EUR 3,46 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 272.

Formal Approaches to Software Testing and Runtime Verification

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Havelund, Klaus (EDT); Núnez, Manuel (EDT); Rosu, Grigore (EDT); Wolff, Burkhart (EDT)

Etat: Occasion

EUR 49,69

EUR 7,59 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 272 Illus.

Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops Fates 2006 and Rv 2006 Seattle, Wa, USA, August 15-16, 2006 Revised Selected Papers

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Grabowski, Jens; Nielsen, Brian; Fates 200 (2004 Linz, Austria)

Etat: Neuf

EUR 58,73

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Approaches to Software Testing : 4th International Workshop, Fates 2004, Linz, Austria, September 21, 2004

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Petrenko, Alexandre (EDT); Ulrich, Andreas; IEEE International Automated Software Engineering Conference; Fates 200 (2003 Montreal, Quebec)

Etat: Neuf

EUR 58,73

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software : Fates 2003 : Montreal, Quebec, Canada, October 6th, 2003 : Revised Papers

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,73

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Approaches to Software Testing : 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Selected Papers

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,73

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Approaches to Software Testing : 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Selected Papers

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Havelund, Klaus (EDT); Núnez, Manuel (EDT); Rosu, Grigore (EDT); Wolff, Burkhart (EDT)

Etat: Occasion - Comme neuf

EUR 59,03

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops Fates 2006 and Rv 2006 Seattle, Wa, USA, August 15-16, 2006 Revised Selected Papers

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Havelund Klaus Rosu Grigore N?nez Manuel

Etat: Occasion - Comme neuf

EUR 59,42

EUR 2,29 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Approaches to Software Testing and Runtime Verification

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Grieskamp, Wolfgang [Editor]; Weise, Carsten [Editor];

Etat: Occasion

EUR 50,81

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Used. pp. 272.

Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in . / Programming and Software Engineering)

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 57,70

EUR 6,07 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Grabowski, Jens

Langue : anglais

Edité par Springer 2005-03, 2005

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 57,24

EUR 18,08 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

PF. Etat : New.

Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Grieskamp, Wolfgang

Langue : anglais

Edité par Springer 2006-05, 2006

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Andreas Ulrich,Alexandre Petrenko

Etat: Neuf

EUR 57,32

EUR 18,08 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

PF. Etat : New.

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, . 2931 (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2008-06-13, 2008

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 57,34

EUR 18,08 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Paperback. Etat : New.

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, . Papers (Lecture Notes in Computer Science)

Klaus Havelund

Langue : anglais

Edité par Springer 2007-01-19, 2007

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 57,44

EUR 18,08 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

Paperback. Etat : New.

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... (Lecture Notes in Computer Science, 4262)

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,08

EUR 13,99 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3997)

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,08

EUR 13,99 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, ... (Lecture Notes in Computer Science, 2931)

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,08

EUR 13,99 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3395)

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Grabowski, Jens; Nielsen, Brian; Fates 200 (2004 Linz, Austria)

Etat: Neuf

EUR 61,08

EUR 13,99 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Approaches to Software Testing : 4th International Workshop, Fates 2004, Linz, Austria, September 21, 2004

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,22

EUR 17,51 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Approaches to Software Testing : 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Selected Papers

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Petrenko, Alexandre (EDT); Ulrich, Andreas; IEEE International Automated Software Engineering Conference; Fates 200 (2003 Montreal, Quebec)

Etat: Neuf

EUR 60,30

EUR 17,51 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software : Fates 2003 : Montreal, Quebec, Canada, October 6th, 2003 : Revised Papers

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Havelund, Klaus (EDT); Núnez, Manuel (EDT); Rosu, Grigore (EDT); Wolff, Burkhart (EDT)

Etat: Neuf

EUR 60,31

EUR 17,51 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops Fates 2006 and Rv 2006 Seattle, Wa, USA, August 15-16, 2006 Revised Selected Papers

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,43

EUR 17,51 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Approaches to Software Testing

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 77,33

EUR 3,46 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. pp. 280.

Formal Approaches to Software Testing : 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Selected Papers

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles