. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 85.59 EUR, größter Preis: 85.59 EUR, Mittelwert: 85.59 EUR
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Cormac Flanagan:

Tools and Algorithms for the Construction and Analysis of Systems - Taschenbuch

2012, ISBN: 9783642287558

ID: 9783642287558

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 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. 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. EDV / Theorie / Software-Entw. / Software Engineering Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI AI ( Künstliche Intelligenz ) Netzwerk (elektronisch) Programmiersprachen, Springer-Verlag Gmbh

Neues Buch Rheinberg-Buch.de
Taschenbuch, Englisch, Neuware Versandkosten:Ab 20¤ Versandkostenfrei in Deutschland, Sofort lieferbar, DE. (EUR 0.00)
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
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Cormac Flanagan:

Tools and Algorithms for the Construction and Analysis of Systems - Taschenbuch

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., [SC: 0.00], Neuware, gewerbliches Angebot, 240x155x30 mm, [GW: 884g]

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
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
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Cormac Flanagan:
Tools and Algorithms for the Construction and Analysis of Systems - Taschenbuch

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., [SC: 0.00]

Neues Buch Booklooker.de
Buchhandlung Kühn GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
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
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Cormac Flanagan:
Tools and Algorithms for the Construction and Analysis of Systems - Taschenbuch

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., [SC: 0.00]

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
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 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Procee - Flanagan, Cormac (Herausgeber); König, Barbara (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
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 - neues Buch

2012, ISBN: 3642287557

ID: A19425002

Leinen 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]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
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)
Autor:

Cormac Flanagan, Barbara König

Titel:

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-Nummer:

3642287557

Detailangaben zum Buch - 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
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: Springer-Verlag GmbH
560 Seiten
Gewicht: 0,833 kg
Sprache: Englisch

Buch in der Datenbank seit 03.11.2008 21:37:29
Buch zuletzt gefunden am 17.07.2016 00:15:15
ISBN/EAN: 3642287557

ISBN - alternative Schreibweisen:
3-642-28755-7, 978-3-642-28755-8

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher