Articoli correlati a Tools and Algorithms for the Construction and Analysis...

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, Tacas 2011, Held As Part of the Joint European ... March 26--april 3, 2011, Proceedings: 6605 - Brossura

 
9783642198342: Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, Tacas 2011, Held As Part of the Joint European ... March 26--april 3, 2011, Proceedings: 6605
Brossura
ISBN 10: 3642198341 ISBN 13: 9783642198342
Casa editrice: Springer-Nature New York Inc, 2011

Sinossi

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Nature New York Inc
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
3642198341
ISBN 13 
9783642198342
Rilegatura
Copertina flessibile
Numero di pagine
394
Redattore
Abdulla Parosh Aziz, Leino K. Rustan M.
Contatto del produttore
Springer-Verlag GmbH
customerservice@springernature.com

Tiergartenstraße 17
Heidelberg
Baden-Württemberg
69121
Germania