Model Checking Software | 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Dragan Bosnacki (u. a.)

ISBN 10: 3540733698 ISBN 13: 9783540733690
Edité par Springer, 2007
Neuf(s) Taschenbuch

Vendeur preigu, Osnabrück, Allemagne Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 5 août 2024

A propos de cet article

Description :

Model Checking Software | 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings | Dragan Bosnacki (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540733690 | Verantwortliche Person für die EU: Springer-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 101998767

Signaler cet article

Synopsis :

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

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

Détails bibliographiques

Titre : Model Checking Software | 14th International...
Éditeur : Springer
Date d'édition : 2007
Reliure : Taschenbuch
Etat : Neu

Meilleurs résultats de recherche sur AbeBooks

Image fournie par le vendeur

Bosnacki, Dragan|Edelkamp, Stefan
Edité par Springer Berlin Heidelberg, 2007
ISBN 10 : 3540733698 ISBN 13 : 9783540733690
Neuf Kartoniert / Broschiert
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 é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. Presents the refereed proceedings of the 14th International SPIN workshop on Model Checking SoftwareProvides an excellent overview of the latest findings, technological developments, and applications in the fieldFeatures fourteen full paper. N° de réf. du vendeur 4899664

Contacter le vendeur

Acheter neuf

EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Stefan Edelkamp
ISBN 10 : 3540733698 ISBN 13 : 9783540733690
Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

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

Taschenbuch. Etat : Neu. Neuware -This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations. 300 pp. Englisch. N° de réf. du vendeur 9783540733690

Contacter le vendeur

Acheter neuf

EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Stefan Edelkamp
Edité par Springer Berlin Heidelberg, 2007
ISBN 10 : 3540733698 ISBN 13 : 9783540733690
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 presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations. N° de réf. du vendeur 9783540733690

Contacter le vendeur

Acheter neuf

EUR 53,49
Expédition à EUR 62,29
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Stefan Edelkamp
ISBN 10 : 3540733698 ISBN 13 : 9783540733690
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 presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations. 300 pp. Englisch. N° de réf. du vendeur 9783540733690

Contacter le vendeur

Acheter neuf

EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Dragan Bosnacki
Edité par Springer 2007-07-31, 2007
ISBN 10 : 3540733698 ISBN 13 : 9783540733690
Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

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

Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540733690

Contacter le vendeur

Acheter neuf

EUR 56,69
Expédition à EUR 17,85
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2007
ISBN 10 : 3540733698 ISBN 13 : 9783540733690
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 ria9783540733690_new

Contacter le vendeur

Acheter neuf

EUR 58,53
Expédition à EUR 13,81
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edelkamp Stefan Bosnacki Dragan
Edité par Springer, 2007
ISBN 10 : 3540733698 ISBN 13 : 9783540733690
Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

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

Etat : New. pp. 300. N° de réf. du vendeur 18301363

Contacter le vendeur

Acheter neuf

EUR 71,66
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2007
ISBN 10 : 3540733698 ISBN 13 : 9783540733690
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

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

Etat : New. pp. 300 Illus. N° de réf. du vendeur 7546598

Contacter le vendeur

Acheter neuf

EUR 72,86
Expédition à EUR 7,49
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2007
ISBN 10 : 3540733698 ISBN 13 : 9783540733690
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. 300. N° de réf. du vendeur 26301369

Contacter le vendeur

Acheter neuf

EUR 73,27
Expédition à EUR 3,42
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bosnacki, Dragan (Editor)/ Edelkamp, Stefan (Editor)
Edité par Springer-Verlag New York Inc, 2007
ISBN 10 : 3540733698 ISBN 13 : 9783540733690
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

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

Paperback. Etat : Brand New. 1st edition. 285 pages. 9.50x6.00x0.75 inches. In Stock. N° de réf. du vendeur x-3540733698

Contacter le vendeur

Acheter neuf

EUR 78,70
Expédition à EUR 11,53
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier