The calculus of computation decision procedures with applications to verification

Библиографические подробности
Главный автор:	Bradley, Aaron R.
Другие авторы:	Manna, Zohar
Формат:	‌
Язык:	English
Опубликовано:	Berlin Springer 2007.
Предметы:	Computer logic. Computer programs > Verification.