Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming verification » program verification, programs verification, programming classification
programming application » programming applications, programming optimization, processing application
functions conditional » functions functional, functional conditioning, functions computational
basic citrus » bali citrus, asian citrus, barli citrus
programming verification » program verification, programs verification, programming classification
programming application » programming applications, programming optimization, processing application
functions conditional » functions functional, functional conditioning, functions computational
basic citrus » bali citrus, asian citrus, barli citrus
1
Publicado 2013
Table of Contents:
“... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”Ligazón do recurso
Electrónico
eBook
