1
منشور في 2015
جدول المحتويات: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2014
جدول المحتويات: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2008
جدول المحتويات: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
احصل على النص الكامل
الكتروني كتاب الكتروني