Resultats de la cerca - Hoare, A. G.

Software and systems safety specification and verification /

Altres autors: “…Hoare, A. G.…”
An electronic book accessible through the World Wide Web; click to view