Articles liés à Tools and Algorithms for the Construction and Analysis...
Synopsis
This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 51,31
Gratuit expédition vers Etats-Unis
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: 15TH INTERNATIONAL CONFERENCE, TACAS 2009, HELD AS PART OF THE JOINT EUROPEAN CONFER
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-284110
Quantité disponible : 1 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 5505)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020213757
Quantité disponible : Plus de 20 disponibles
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
ISBN 10 : 3642007678
ISBN 13 : 9783642007675
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems. This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783642007675
Quantité disponible : 1 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 5505)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642007675_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, Tacas 2009, Held as Part of the Joint European Confe
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642007675
Quantité disponible : 10 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 476. N° de réf. du vendeur 26465755
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 Mrz 2009, 2009
ISBN 10 : 3642007678
ISBN 13 : 9783642007675
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems. 476 pp. Englisch. N° de réf. du vendeur 9783642007675
Quantité disponible : 2 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 476 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 7382148
Quantité disponible : 1 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 476. N° de réf. du vendeur 18465745
Quantité disponible : 4 disponible(s)
Image d'archives
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, Tacas 2009, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 1009 York, Uk, Mar
Edité par
Springer-Verlag New York Inc, 2009
ISBN 10 : 3642007678
ISBN 13 : 9783642007675
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 2009 edition. 456 pages. 9.00x6.00x1.00 inches. In Stock. N° de réf. du vendeur x-3642007678
Quantité disponible : 2 disponible(s)