Résultats de la recherche - Hoare, A. G.

Software and systems safety specification and verification /

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