Torthaí cuardaigh - "Computer logic Congresses."
Topaicí molta laistigh de do chuardach.
Topaicí molta laistigh de do chuardach.
-
1
Formal logical methods for system security and correctness
Foilsithe / Cruthaithe 2008Ábhair: “…Computer logic Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Leictreonach Imeacht comhdhála Ríomhleabhar