Bilaketaren emaitzak - Hoare, A. G.
-
1
Software and systems safety specification and verification /
Argitaratua 2011Beste egile batzuk: “...Hoare, A. G....”
An electronic book accessible through the World Wide Web; click to view
Baliabide elektronikoa Konferentzia-aktak eBook