Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... Notes in Computer Science, 9636, Band 9636) - Softcover

 
9783662496732: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... Notes in Computer Science, 9636, Band 9636)
Softcover
ISBN 10: 3662496739 ISBN 13: 9783662496732
Verlag: Springer, 2016

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2016
Sprache
Englisch
ISBN 10 
3662496739
ISBN 13 
9783662496732
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
980
Herausgeber
Chechik Marsha, Raskin Jean-François
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3662496755 ISBN 13:  9783662496756
Verlag: Springer, 2016
Softcover