1
Veröffentlicht 2015
Inhaltsangabe: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2014
Inhaltsangabe: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2008
Inhaltsangabe: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Volltext
Elektronisch E-Book