Related Books
Language: en
Pages: 275
Pages: 275
Type: BOOK - Published: 2023-09-04 - Publisher: Springer Nature
This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guarantee
Language: en
Pages: 178
Pages: 178
Type: BOOK - Published: 2007-12-03 - Publisher: Springer Science & Business Media
This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varit
Language: en
Pages: 239
Pages: 239
Type: BOOK - Published: 2020-12-05 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Num
Language: en
Pages: 246
Pages: 246
Type: BOOK - Published: 2007-02-09 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in Oc
Language: en
Pages: 520
Pages: 520
Type: BOOK - Published: 2000 - Publisher:
PLEASE PROVIDE COURSE INFORMATION PLEASE PROVIDE