Apt K.R., de Boer F.S., Olderog E.-R. — Verification of sequential and concurrent programs
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Verification of sequential and concurrent programs
Авторы: Apt K.R., de Boer F.S., Olderog E.-R.
Аннотация:
This book is unique in addressing assertional verification of all essential classes of imperative programs: while programs, recursive programs, object-oriented programs, nondeterministic programs, parallel programs, and distributed programs.
|
|
О проекте