1
Pubblicazione 2015
Sommario: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Testo
Elettronico eBook
2
Pubblicazione 2014
Sommario: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testo
Elettronico eBook
3
Pubblicazione 2008
Sommario: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Testo
Elettronico eBook