Articles liés à Model Checking Software: 12th International SPIN Workshop,...

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings - Couverture souple

 
9783540281955: Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Synopsis

This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels, techniquesforde- ing with large and in?nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has traditionally drawn contributions from both academia and industry. The SPIN workshop series started 10 years ago, in 1995. Since then, SPIN workshopshavebeenheldonanannualbasisatMontr´ eal(1995), NewBrunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), St- ford (2000), Toronto (2001), Grenoble (2002), Portland (2003) and Barcelona (2004). All but the ?rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC(1999), theWorldCongressonFormalMethods(1999), FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002, 2004). This year, SPIN was held as a satellite event of CONCUR 2005. The co-location of SPIN workshops with conferenceshas provento be verysuccessfulandhas helpedto disseminateSPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer's Lecture Notes in Computer Science series. ThehistoryofsuccessfulSPINworkshopsisevidenceforthematuringofso- waremodel-checkingtechnology.Whileinearlieryearsthefocus oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.

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

Acheter D'occasion

état :  Assez bon
Ex-library paperback in very nice...
Afficher cet article

EUR 55,64 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 27,37

Autre devise

Gratuit expédition depuis Etats-Unis vers France

Destinations, frais et délais

Résultats de recherche pour Model Checking Software: 12th International SPIN Workshop,...

Image d'archives

Godefroid,P.
Edité par Springer, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
Neuf Couverture souple

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

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

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-1019

Contacter le vendeur

Acheter neuf

EUR 27,37
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Godefroid,P.
Edité par Springer, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
Neuf Couverture souple

Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis

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

Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur ASNT3-1019

Contacter le vendeur

Acheter neuf

EUR 28,26
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Godefroid,P.
Edité par Springer, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
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-266356

Contacter le vendeur

Acheter neuf

EUR 27,37
Autre devise
Frais de port : EUR 2,87
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Godefroid, Patrick
Edité par Springer, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
Neuf Couverture souple

Vendeur : ALLBOOKS1, Direk, SA, Australie

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

N° de réf. du vendeur SHUB266356

Contacter le vendeur

Acheter neuf

EUR 30,85
Autre devise
Frais de port : Gratuit
De Australie vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Godefroid Patrick
Edité par Springer, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
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. 308. N° de réf. du vendeur 183072485

Contacter le vendeur

Acheter neuf

EUR 25,51
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

Image d'archives

Godefroid, Patrick
Edité par Springer, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
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. 308. N° de réf. du vendeur 263072495

Contacter le vendeur

Acheter neuf

EUR 26,04
Autre devise
Frais de port : EUR 7,70
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Godefroid, Patrick
Edité par Springer, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
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. 308 Illus. N° de réf. du vendeur 5856816

Contacter le vendeur

Acheter neuf

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

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Godefroid, Patrick
Edité par Springer, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
Neuf Couverture souple

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

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

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-291457

Contacter le vendeur

Acheter neuf

EUR 35,27
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Godefroid, Patrick
Edité par Springer, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
Neuf Couverture souple

Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis

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

Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur ASNT3-291457

Contacter le vendeur

Acheter neuf

EUR 36,41
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Godefroid P.
Edité par Springer, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
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-397157

Contacter le vendeur

Acheter neuf

EUR 35,27
Autre devise
Frais de port : EUR 2,87
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

There are 17 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre