Результаты поиска - Hoare, A. G.

Software and systems safety specification and verification /

Другие авторы: “...Hoare, A. G....”
An electronic book accessible through the World Wide Web; click to view