Articles liés à Tools and Algorithms for the Construction and Analysis...
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Book by None
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é
- Nombre de pages584
Acheter neuf
En savoir plus sur cette édition
EUR 54,25
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science) [Paperback ]
Edité par
Springer
(2012)
ISBN 10 : 3642287557
ISBN 13 : 9783642287558
Neuf
Soft Cover
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. This item is printed on demand. N° de réf. du vendeur 9783642287558
Acheter neuf
EUR 54,25
Autre devise
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)
Edité par
Springer
(2012)
ISBN 10 : 3642287557
ISBN 13 : 9783642287558
Neuf
Couverture souple
Quantité disponible : 18
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020223348
Acheter neuf
EUR 57,69
Autre devise
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
Edité par
Springer
(2012)
ISBN 10 : 3642287557
ISBN 13 : 9783642287558
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783642287558_lsuk
Acheter neuf
EUR 60,49
Autre devise
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
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Paperback. Etat : Brand New. 2012 edition. 579 pages. 9.20x6.00x1.30 inches. In Stock. N° de réf. du vendeur x-3642287557
Acheter neuf
EUR 75,81
Autre devise
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
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre 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
Acheter neuf
EUR 48,74
Autre devise
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 Conf
Edité par
Springer 2012-03
(2012)
ISBN 10 : 3642287557
ISBN 13 : 9783642287558
Neuf
PF
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642287558
Acheter neuf
EUR 88,76
Autre devise
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems
Edité par
Springer
(2012)
ISBN 10 : 3642287557
ISBN 13 : 9783642287558
Neuf
Couverture souple
Quantité disponible : 4
Vendeur :
Evaluation vendeur
Description du livre Etat : New. pp. 584. N° de réf. du vendeur 2654510425
Acheter neuf
EUR 177,36
Autre devise
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems
Edité par
Springer
(2012)
ISBN 10 : 3642287557
ISBN 13 : 9783642287558
Neuf
Couverture souple
Quantité disponible : 4
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Print on Demand pp. 584 162 Illus. N° de réf. du vendeur 55082118
Acheter neuf
EUR 192,77
Autre devise