Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, Tacas 2016, Held as Part of the European Joint Confe 2016 Edition Contributor(s): Chechik, Marsha (Editor), Raskin, Jean-François (Editor) |
|
ISBN: 3662496739 ISBN-13: 9783662496732 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: April 2016 |
Additional Information |
BISAC Categories: - Computers | Compilers - Mathematics | Logic - Computers | Programming Languages - General |
Dewey: 005.101 |
Series: Lecture Notes in Computer Science |
Physical Information: 1.94" H x 6.14" W x 9.21" (2.97 lbs) 961 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |