Suggested Topics within your search.
Search alternatives:
programming verification » program verification, programs verification, programming classification
programming validation » programming validating, programming evaluation, programming animation
functions conditional » functions functional, functional conditioning, functions computational
basic citrus » bali citrus, asian citrus, barli citrus
1
Imaxe de Portada
Publicado 2013
Table of Contents: “... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”
Ligazón do recurso
Electrónico eBook
Engadir a favoritos
Gardado en:
Ferramentas de procura: RSS — Enviar por correo electrónico esta procura — Gardar procuras