Torthaí cuardaigh - Hoare, A. G.
-
1
Software and systems safety specification and verification /
Foilsithe / Cruthaithe 2011Rannpháirtithe: “…Hoare, A. G.…”
An electronic book accessible through the World Wide Web; click to view
Leictreonach Imeacht comhdhála Ríomhleabhar