2 Ebooks de Nir Piterman
Nir Piterman: Hardware and Software: Verification and Testing
This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.The 17 revised full papers and 4 invited talks …
PDF
Engleză
DRM
€51.25
Nir Piterman & Scott Smolka: Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 …
PDF
Engleză
DRM
€57.64
