Результати пошуку - Hoare, A. G.
-
1
Software and systems safety specification and verification /
Опубліковано 2011Інші автори: “...Hoare, A. G....”
An electronic book accessible through the World Wide Web; click to view
Електронний ресурс Матеріали конференцій eКнига