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