Rezultati - Stewart, Gordon
- Showing 1 - 1 results of 1
-
1
Program logics for certified compilers. od Appel, Andrew W., 1960-, Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier
Izdano 2014Signatura: Nalaganje...
Nahaja se: Nalaganje...Knjiga Nalaganje...