Bilaketaren emaitzak - "Computer logic Congresses."
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
-
1
Formal logical methods for system security and correctness
Argitaratua 2008Gaiak: “...Computer logic Congresses....”
An electronic book accessible through the World Wide Web; click to view
Baliabide elektronikoa Konferentzia-aktak eBook