- 5 Ergebnisse
Kleinster Preis: € 67,40, größter Preis: € 79,62, Mittelwert: € 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
Bestellen
bei hive.co.uk
£ 61,20
(ca. € 69,13)
Bestellengesponserter Link
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 - 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…

No. 9783642287565. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
2
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Bestellen
bei Springer.com
€ 67,40
Versand: € 0,001
Bestellengesponserter Link

Cormac Flanagan; Barbara König:

Tools and Algorithms for the Construction and Analysis of Systems - 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…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
3
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Bestellen
bei Springer.com
€ 67,40
Bestellengesponserter Link
Cormac Flanagan; Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - 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…

new in stock. Versandkosten:zzgl. Versandkosten.
4
Bestellen
bei lehmanns.de
€ 79,62
Versand: € 0,001
Bestellengesponserter Link
Cormac Flanagan; Barbara Konig:
Tools and Algorithms for the Construction and Analysis of Systems - neues Buch

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…

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
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
Bestellen
bei hive.co.uk
£ 61,20
(ca. € 71,76)
Bestellengesponserter Link
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 - neues Buch

2012, ISBN: 9783642287565

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

No. 9783642287565. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

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 (Berlin)
Detailseite zuletzt geändert am 2023-12-26T12:00:05+01:00 (Berlin)
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: 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
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

< zum Archiv...