. .
Français
France
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 79,05 €, prix le plus élevé: 85,59 €, prix moyen: 83,16 €
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan
Livre non disponible
(*)
Cormac Flanagan:
Tools and Algorithms for the Construction and Analysis of Systems - nouveau livre

2012, ISBN: 9783642287558

ID: 9783642287558

Tools and Algorithms for the Construction and Analysis of Systems: Paperback: Springer-Verlag Berlin and Heidelberg GmbH & Co. K: 9783642287558: 14 Mar 2012: Constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 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: SAT and SMT 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. Algorithms & Data Structures, , , , Tools and Algorithms for the Construction and Analysis of Systems, Cormac Flanagan, 9783642287558, Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, , , , ,, [PU: Springer, Berlin/Heidelberg/New York, NY]

Nouveaux livres Wordery.com
MPN: , SKU 9783642287558 Frais d'envoiPreise variieren je nach Lieferland., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Tools and Algorithms for the Construction and Analysis of Systems - Springer
Livre non disponible
(*)
Springer:
Tools and Algorithms for the Construction and Analysis of Systems - nouveau livre

2012, ISBN: 9783642287558

ID: 692089465

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 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: SAT and SMT 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. 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 Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Nouveaux livres Thalia.de
No. 31166350 Frais d'envoi, Sofort lieferbar, DE (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Tools and Algorithms for the Construction and Analysis of Systems | Flanagan / König - Buch - Cormac Flanagan, Barbara König - Cormac Flanagan, Barbara König
Livre non disponible
(*)
Cormac Flanagan, Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems | Flanagan / König - Buch - Cormac Flanagan, Barbara König - nouveau livre

2012, ISBN: 9783642287558

ID: 10267867

Von Cormac Flanagan, Barbara König: This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 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: SAT and SMT 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.; Weitere Fachgebiete > EDV, Informatik > Informatik > Logik, Formale Sprachen, Automaten, Springer

Nouveaux livres Beck-shop.de
Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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, Procee - Flanagan, Cormac (Herausgeber); König, Barbara (Herausgeber)
Livre non disponible
(*)
Flanagan, Cormac (Herausgeber); König, Barbara (Herausgeber):
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, Procee - nouveau livre

2012, ISBN: 3642287557

ID: A19425002

Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), Netzwerk (elektronisch), Programmiersprachen, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Nouveaux livres Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Frais d'envoiVersandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Livre non disponible
(*)
Cormac Flanagan; Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - nouveau livre

ISBN: 9783642287558

ID: 9783642287558

Computer Science; Software Engineering; Logics and Meanings of Programs; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics); Programming Techniques communication networks, software analysis, software engineering, theoretical computer science Books Book, Springer Science+Business Media

Nouveaux livres Springer.com
Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... Computer Science and General Issues)
Auteur:

Cormac Flanagan, Barbara König

Titre:

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... Computer Science and General Issues)

ISBN:

Informations détaillées sur le livre - Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... Computer Science and General Issues)


EAN (ISBN-13): 9783642287558
ISBN (ISBN-10): 3642287557
Version reliée
Livre de poche
Date de parution: 2012
Editeur: Springer-Verlag GmbH
560 Pages
Poids: 0,833 kg
Langue: Englisch

Livre dans la base de données depuis 03.11.2008 21:37:29
Livre trouvé récemment le 29.06.2017 19:37:06
ISBN/EAN: 9783642287558

ISBN - Autres types d'écriture:
3-642-28755-7, 978-3-642-28755-8


< pour archiver...
Livres en relation