3 Ebooki wg Kedar Namjoshi
Teruo Higashino & Kedar Namjoshi: Automated Technology for Verification and Analysis
…
PDF
Angielski
DRM
€57.76
Kedar Namjoshi & Andreas Zeller: Hardware and Software: Verification and Testing
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers pres …
PDF
Angielski
DRM
€57.99
Cezara Dragoi & Suvam Mukherjee: Static Analysis
This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully …
EPUB
Angielski
DRM
€90.05
