1
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well...
View full text
Electronic eBook