Verification of Sequential and Concurrent Programs
Автор:
Ernst-Rudiger Olderog
Наличност:
Външен склад
Изпращаме след 8-11 дни
82.63
€
161.60 лв
This book explores one of the most common approaches to program verification, known as the assertion...
