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 - neues Buch
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… Mehr…
hive.co.uk No. 9783642287565. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
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… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
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… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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 - neues Buch
2012, ISBN: 9783642287565
; PDF; Computing > Computer programming / software development > Algorithms & data structures, Wiley
hive.co.uk No. 9783642287565. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
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 - neues Buch
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… Mehr…
Cormac Flanagan; Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - neues Buch2012, 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… Mehr…
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… Mehr…
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… Mehr…
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 - neues Buch
2012, ISBN: 9783642287565
; PDF; Computing > Computer programming / software development > Algorithms & data structures, Wiley
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Tools and Algorithms for the Construction and Analysis of Systems
EAN (ISBN-13): 9783642287565
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2016-03-12T03:36:06+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-26T12:00:05+01:00 (Zurich)
ISBN/EAN: 9783642287565
ISBN - alternative Schreibweisen:
978-3-642-28756-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: flanagan, könig barbara, ziegler gerhard
Titel des Buches: algorithms, software tools, system, analysis, theory construction
Daten vom Verlag:
Autor/in: Cormac Flanagan; Barbara König
Titel: 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
Verlag: Springer; Springer Berlin
560 Seiten
Erscheinungsjahr: 2012-03-22
Berlin; Heidelberg; DE
Sprache: Englisch
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781013271212 Tools and Algorithms for the Construction and Analysis of Systems (Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke)
- 9781013271212 Tools and Algorithms for the Construction and Analysis of Systems (Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke)
- 9781013271229 Tools and Algorithms for the Construction and Analysis of Systems (Zhang, Lijun; Vojnar, Tomás)
- 9781013271236 Tools and Algorithms for the Construction and Analysis of Systems (Zhang, Lijun; Vojnar, Tomás)
- 9781013277184 Tools and Algorithms for the Construction and Analysis of Systems (Armin Biere)
- 9781013277191 Tools and Algorithms for the Construction and Analysis of Systems (Armin Biere)
- 9781013277207 Tools and Algorithms for the Construction and Analysis of Systems Armin Biere Author (Armin Biere)
- 9781013277214 Tools and Algorithms for the Construction and Analysis of Systems (Biere, Armin, Parker, David)
- Tools And Algorithms For The Construction And Analysis Of Systems (Kowalewski, S., Philippou, A.)
< zum Archiv...