Articles liés à Tools and Algorithms for the Construction and Analysis...
Synopsis
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, T.A.C.A.S. 2012, held as part of the joint European Conference on Theory and Practice of Software, E.T.A.P.S. 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: S.A.T. and S.M.T. based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.
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 proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, T.A.C.A.S. 2012, held as part of the joint European Conference on Theory and Practice of Software, E.T.A.P.S. 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: S.A.T. and S.M.T. based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2012
- ISBN 10 3642287557
- ISBN 13 9783642287558
- ReliureBroché
- Langueanglais
- Nombre de pages584
- ÉditeurFlanagan Cormac, König Barbara
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,74
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Tools and Algorithms for the Construction and Analysis...
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
Edité par
Springer-Verlag GmbH, 2012
ISBN 10 : 3642287557
ISBN 13 : 9783642287558
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 560 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 12098885/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Tools and Algorithms for the Construction and Analysis of Systems
Edité par
Springer Berlin Heidelberg, 2012
ISBN 10 : 3642287557
ISBN 13 : 9783642287558
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date resultsFast-track conference proceedings State-of-the-art researchThis book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012. N° de réf. du vendeur 5055676
Quantité disponible : Plus de 20 disponibles
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7214)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642287558_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642287558
Quantité disponible : 10 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Est
Edité par
Springer-Verlag New York Inc, 2012
ISBN 10 : 3642287557
ISBN 13 : 9783642287558
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 2012 edition. 579 pages. 9.20x6.00x1.30 inches. In Stock. N° de réf. du vendeur x-3642287557
Quantité disponible : 2 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7214)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020223348
Quantité disponible : Plus de 20 disponibles