- 5 Résultats
prix le plus bas: € 42,78, prix le plus élevé: € 74,25, prix moyen: € 51,22
1
Commander
sur Biblio.co.uk
$ 79,95
(environ € 74,25)
Envoi: € 11,861
CommanderLien sponsorisé
Flanagan, Cormac (Editor)/ Konig, Barbara (Editor):

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 - Livres de poche

2012, ISBN: 9783642287558

Springer Nature, 2020. Paperback. New. 660 pages. 9.25x6.10x1.49 inches., Springer Nature, 2020, 6, Temple Lodge Publishing, 2004-10-01. Paperback. New. New. In shrink wrap. Looks lik… Plus…

GBR, U.. - Frais d'envoi EUR 11.86 Revaluation Books, GridFreed LLC, Revaluation Books
2
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 - Flanagan, Cormac und Barbara König
Commander
sur booklooker.de
€ 42,78
Envoi: € 0,001
CommanderLien sponsorisé

Flanagan, Cormac und Barbara König:

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 - livre d'occasion

2012, ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
3
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 - Flanagan, Cormac und Barbara König
Commander
sur booklooker.de
€ 42,78
Envoi: € 0,001
CommanderLien sponsorisé
Flanagan, Cormac und Barbara König:
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 - livre d'occasion

2012

ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
4
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 - Flanagan, Cormac und Barbara König
Commander
sur booklooker.de
€ 42,78
Envoi: € 0,001
CommanderLien sponsorisé
Flanagan, Cormac und Barbara König:
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 - livre d'occasion

2012, ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Commander
sur lehmanns.de
€ 53,49
Envoi: € 0,001
CommanderLien sponsorisé
Cormac Flanagan; Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - Première édition

2012, ISBN: 9783642287558

Livres de poche

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'envoiVersand in 10-14 Tagen. (EUR 0.00)

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

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.

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


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

Livre dans la base de données depuis 2008-11-03T21:37:29+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-02-20T00:23:17+01:00 (Paris)
ISBN/EAN: 9783642287558

ISBN - Autres types d'écriture:
3-642-28755-7, 978-3-642-28755-8
Autres types d'écriture et termes associés:
Auteur du livre: könig barbara, flanagan, corma, cormac
Titre du livre: the tools, analysis systems, tallinn, algorithms, international conference software, estonia, flanagan, system, the science book, lecture notes computer science, theory construction, proceedings construction


Données de l'éditeur

Auteur: Cormac Flanagan; Barbara König
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; 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-14
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Poids: 0,884 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIX, 560 p.

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

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.

< pour archiver...