Verification of Sequential and Concurrent Programs
Autor:
Ernst-Rudiger Olderog
Disponibilitate:
În depozitul extern
Expediem în 8-11 zile
433.63
lei
This book explores one of the most common approaches to program verification, known as the assertion...
