- 5 Résultats
prix le plus bas: € 67,40, prix le plus élevé: € 79,62, prix moyen: € 71,06
1
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 - Alexandra Grancharova
Commander
sur hive.co.uk
£ 61,20
(environ € 69,13)
Commander
Détails et expédition
Lien sponsorisé
Alexandra Grancharova:

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 - nouveau livre

2012, ISBN: 9783642287565

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 Euro… Plus…

No. 9783642287565. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
2
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Commander
sur Springer.com
€ 67,40
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Cormac Flanagan; Barbara König:

Tools and Algorithms for the Construction and Analysis of Systems - nouveau livre

2012, ISBN: 9783642287565

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 Euro… Plus…

new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00)
fermer(X)
3
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Commander
sur Springer.com
€ 67,40
Commander
Détails et expédition
Lien sponsorisé
Cormac Flanagan; Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - nouveau livre

2012

ISBN: 9783642287565

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 Euro… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
4
Commander
sur lehmanns.de
€ 79,62
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Cormac Flanagan; Barbara Konig:
Tools and Algorithms for the Construction and Analysis of Systems - nouveau livre

2012, ISBN: 9783642287565

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, Proc… Plus…

Frais d'envoiDownload sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
fermer(X)
5
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 - Gerhard Ziegler
Commander
sur hive.co.uk
£ 61,20
(environ € 71,76)
Commander
Détails et expédition
Lien sponsorisé
Gerhard Ziegler:
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 - nouveau livre

2012, ISBN: 9783642287565

; PDF; Computing > Computer programming / software development > Algorithms & data structures, Wiley

No. 9783642287565. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Tools and Algorithms for the Construction and Analysis of Systems
Auteur:
Titre:
ISBN:

9783642287565

Informations détaillées sur le livre - Tools and Algorithms for the Construction and Analysis of Systems


EAN (ISBN-13): 9783642287565
Date de parution: 2012
Editeur: Springer Berlin Heidelberg

Livre dans la base de données depuis 2016-03-12T03:36:06+01:00 (Zurich)
Page de détail modifiée en dernier sur 2023-12-26T12:00:05+01:00 (Zurich)
ISBN/EAN: 9783642287565

ISBN - Autres types d'écriture:
978-3-642-28756-5
Autres types d'écriture et termes associés:
Auteur du livre: flanagan, könig barbara, ziegler gerhard
Titre du livre: algorithms, software tools, system, analysis, theory construction

Données de l'éditeur

Auteur: Cormac Flanagan; Barbara König
Titre: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; 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
Editeur: Springer; Springer Berlin
560 Pages
Date de parution: 2012-03-22
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIX, 560 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; communication networks; software analysis; software engineering; theoretical computer science; C; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Communication Networks; Compilers and Interpreters; Artificial Intelligence; Programming Techniques; Computer Science; Theoretische Informatik; Netzwerk-Hardware; Compiler und Übersetzer; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; BC

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.
Up-to-date results Fast-track conference proceedings State-of-the-art research
< pour archiver...