. .
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 - Cormac Flanagan
Livre non disponible
(*)
Cormac Flanagan:
Tools and Algorithms for the Construction and Analysis of Systems - Livres de poche

2012

ISBN: 9783642287558

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - 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., Neuware, gewerbliches Angebot, 240x155x30 mm, [GW: 833g]

Nouveaux livres Booklooker.de
Carl Hübscher GmbH
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 - Cormac Flanagan
Livre non disponible
(*)
Cormac Flanagan:
Tools and Algorithms for the Construction and Analysis of Systems - Livres de poche

2012, ISBN: 9783642287558

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - 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., Neuware, gewerbliches Angebot, FixedPrice, [GW: 833g]

Nouveaux livres Booklooker.de
Buchhandlung Kühn GmbH
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.

< Retour aux résultats de 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:

3642287557

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 04.02.2017 00:29:34
ISBN/EAN: 3642287557

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

< Retour aux résultats de recherche...
< pour archiver...
Livres en relation