Foreslåede emner i din søgning.
Søg alternativer:
programming verification » program verification, programs verification, programming classification
programming integrating » programming interfacing, programming interactive, programming international
functions conditional » functions functional, functional conditioning, functions computational
basic citrus » bali citrus, asian citrus, barli citrus
1
Omslagsbillede
Udgivet 2013
Indholdsfortegnelse: “... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning