Marsha Chechik & Jean-Francois Raskin 
Tools and Algorithms for the Construction and Analysis of Systems [PDF ebook] 
22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Sokongan

This bookconstitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace 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 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.

€57.82
cara bayaran
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● ISBN 9783662496749 ● Penyunting Marsha Chechik & Jean-Francois Raskin ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2016 ● Muat turun 3 kali ● Mata wang EUR ● ID 6348992 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

16,941 Ebooks dalam kategori ini