Articles liés à Formal Approaches to Software Testing: 5th International...

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

Grieskamp, Wolfgang; Weise, Carsten

 
9783540344544: Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
Couverture souple
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Editeur : Springer, 2008

Synopsis

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2008
  • ISBN 10 3540344543
  • ISBN 13 9783540344544
  • ReliureBroché
  • Langueanglais
  • Nombre de pages232
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Assez bon
Crease on cover*
Afficher cet article
9783540344544: Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
EUR 3,43

Autre devise

EUR 15,08 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783540344544: Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
EUR 44,09

Autre devise

EUR 2,89 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Résultats de recherche pour Formal Approaches to Software Testing: 5th International...

Image d'archives

Grieskamp, Wolfgang; Weise, Carsten
Edité par Springer, 2006
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Ancien ou d'occasion paperback

Vendeur : Bookmonger.Ltd, HILLSIDE, NJ, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

paperback. Etat : Very Good. Crease on cover*. N° de réf. du vendeur mon0000664799

Contacter le vendeur

Acheter D'occasion

EUR 3,43
Autre devise
Frais de port : EUR 15,08
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

GRIESKAMP, WOLFGANG, WEISE, CARSTEN (EDS.)
Edité par Springer, 2006
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Neuf Couverture souple

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

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-325564

Contacter le vendeur

Acheter neuf

EUR 44,09
Autre devise
Frais de port : EUR 2,89
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Grieskamp, Wolfgang|Weise, Carsten
Edité par Springer Berlin Heidelberg, 2006
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Neuf Kartoniert / Broschiert
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005Presents 13 revised papers and 1 work-in-progress paperDiscusses techniques from areas like theorem proving, model checking, constraint r. N° de réf. du vendeur 4888109

Contacter le vendeur

Acheter neuf

EUR 48,37
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Grieskamp, Wolfgang [Editor]; Weise, Carsten [Editor];
Edité par Springer, 2006
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Ancien ou d'occasion Paperback

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

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur DA1411672

Contacter le vendeur

Acheter D'occasion

EUR 4,43
Autre devise
Frais de port : EUR 56,01
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Grieskamp, Wolfgang; Weise, Carsten
Edité par Springer, 2006
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Neuf Couverture souple

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

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 236. N° de réf. du vendeur 263071480

Contacter le vendeur

Acheter neuf

EUR 55,68
Autre devise
Frais de port : EUR 7,76
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Carsten Weise
Edité par Springer Berlin Heidelberg, 2006
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others. N° de réf. du vendeur 9783540344544

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Carsten Weise
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others. 236 pp. Englisch. N° de réf. du vendeur 9783540344544

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Grieskamp, Wolfgang; Weise, Carsten
Edité par Springer, 2006
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 236 Illus. N° de réf. du vendeur 5857831

Contacter le vendeur

Acheter neuf

EUR 54,91
Autre devise
Frais de port : EUR 10,39
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Grieskamp, Wolfgang; Weise, Carsten
Edité par Springer, 2006
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783540344544_new

Contacter le vendeur

Acheter neuf

EUR 61,46
Autre devise
Frais de port : EUR 4,69
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Weise Carsten Grieskamp Wolfgang
Edité par Springer, 2006
ISBN 10 : 3540344543 ISBN 13 : 9783540344544
Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 236. N° de réf. du vendeur 183071474

Contacter le vendeur

Acheter neuf

EUR 58,66
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 8 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre