1
Pubblicazione 2014
Sommario: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Testo
Elettronico eBook
2
Pubblicazione 2015
Sommario: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
Testo
Elettronico eBook
3
Pubblicazione 2007
Sommario: ... Discovery in Credit Risk Management: Estimation of Chain Reaction Bankruptcy Structure by Directed KeyGraph...
Testo
Elettronico eBook
4
Pubblicazione 2013
Sommario: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
Testo
Elettronico eBook