Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, Tacas 2016, Held As Part of the European Joint ... April 2-8, 2016, Proceedings: 9636 - Brossura

 
9783662496732: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, Tacas 2016, Held As Part of the European Joint ... April 2-8, 2016, Proceedings: 9636
Brossura
ISBN 10: 3662496739 ISBN 13: 9783662496732
Casa editrice: Springer-Verlag New York Inc, 2016

Sinossi

This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace in Eindhoven, The Netherlands, in April 2016, held as Part of theEuropean Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 44 full papers presented in this volume were carefully reviewed and selectedfrom 175 submissions. They were organized in topical sections named: abstractionand verification; probabilistic and stochastic systems; synthesis; tool papers;concurrency; tool demos; languages and automata; security; optimization; andcompetition on software verification – SV-COMP.

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

Editore
Springer-Verlag New York Inc
Data di pubblicazione
2016
Lingua
Inglese
ISBN 10 
3662496739
ISBN 13 
9783662496732
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
984
Redattore
Chechik Marsha, Raskin Jean-francois
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783662496756: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... The Netherlands, April 2-8, 2016, Proc

Edizione in evidenza

ISBN 10:  3662496755 ISBN 13:  9783662496756
Casa editrice: Springer, 2016
Brossura