1
Published 2006
Table of Contents: ... -- M2E: A Multiple-Input, Multiple-Output Function Extension for RISC-Based Extensible Processors...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
View full text
Electronic eBook