. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783642287565 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.de

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.de
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 67,82 €, größter Preis: 99,45 €, Mittelwert: 86,35 €
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan#Barbara König
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Cormac Flanagan#Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - neues Buch

2012, ISBN: 9783642287565

ID: 689515796

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 eBooks > Fremdsprachige eBooks > Englische eBooks > Sach- & Fachthemen > Informatik PDF 22.03.2012, Cormac Flanagan#Barbara König, .201

Neues Buch Buch.ch
No. 44360173 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan#Barbara König
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Cormac Flanagan#Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - neues Buch

2012, ISBN: 9783642287565

ID: 15571890

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 eBook eBooks>Fremdsprachige eBooks>Englische eBooks>Sach- & Fachthemen>Informatik, Cormac Flanagan#Barbara König

Neues Buch Thalia.ch
No. 44360173 Versandkosten:DE (EUR 12.76)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan#Barbara König
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Cormac Flanagan#Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - neues Buch

2012, ISBN: 9783642287565

ID: 15571890

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 eBook eBooks>Fremdsprachige eBooks>Englische eBooks>Sach- & Fachthemen>Informatik, Cormac Flanagan#Barbara König

Neues Buch Thalia.ch
No. 44360173 Versandkosten:NL (EUR 12.38)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Cormac Flanagan; Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - neues Buch

ISBN: 9783642287565

ID: 9783642287565

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 eBook, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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 - H.-J. Senn
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
H.-J. Senn:
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

ID: 9783642287565

; PDF \ H.-J. Senn; Computing > Computer programming / software development > Algorithms & data structures, Springer Berlin Heidelberg

Neues Buch Hive.co.uk
No. 9783642287565 Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.