Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 2006, Revised Selected Papers - Couverture souple
Synopsis
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Formal Approaches to Software Testing and Runtime Verificati...
Image d'archives
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, . / Programming and Software Engineering)
Edité par
Springer, 2006
ISBN 10 : 3540496998
ISBN 13 : 9783540496991
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur DA1411671
Acheter D'occasion
EUR 34,68
Frais de port :
EUR 5,99
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Approaches To Software Testing And Runtime Verification
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
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 ABEOCT25-241288
Acheter neuf
EUR 47,44
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Approaches To Software Testing And Runtime Verification
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur ABNR-85740
Acheter neuf
EUR 47,44
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Approaches to Software Testing and Runtime Verification
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 272. N° de réf. du vendeur 26302171
Acheter neuf
EUR 46,06
Frais de port :
EUR 3,42
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Approaches to Software Testing and Runtime Verification
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 272 Illus. N° de réf. du vendeur 7545732
Acheter neuf
EUR 46,07
Frais de port :
EUR 7,44
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
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
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 6429933-n
Acheter neuf
EUR 51,40
Frais de port :
EUR 2,26
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
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)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020168295
Acheter neuf
EUR 52,57
Frais de port :
EUR 3,42
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
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)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. N° de réf. du vendeur SHAK241288
Acheter neuf
EUR 57,01
Frais de port :
Gratuit
De Australie vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Approaches to Software Testing and Runtime Verification
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 272. N° de réf. du vendeur 18302161
Acheter neuf
EUR 47,46
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
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
Edité par
Springer, 2006
ISBN 10 : 3540496998
ISBN 13 : 9783540496991
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 6429933
Acheter D'occasion
EUR 59,85
Frais de port :
EUR 2,26
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles