1
Publicado 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Ligazón do recurso
Electrónico eBook
2
Publicado 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Ligazón do recurso
Electrónico eBook
3
Publicado 2008
Table of Contents: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Ligazón do recurso
Electrónico eBook