Liknande böcker

Coordination Models and Languages : 18th IFIP WG 6.1 International Confe...
Bok av Alberto Lluch Lafuente
Logic-Based Program Synthesis and Transformation : 26th International Sy...
Bok av Manuel V Hermenegildo
Languages and Compilers for Parallel Computing : 28th International Work...
Bok av Xipeng Shen
Runtime Verification : 16th International Conference, RV 2016, Madrid, S...
Bok av Ylies Falcone
Formal Methods and Software Engineering : 17th International Conference...
Bok av Michael Butler
Runtime Verification : 6th International Conference, RV 2015, Vienna, Au...
Bok av Ezio Bartocci
Fundamentals of Software Engineering : 7th International Conference, FSE...
Bok av Mehdi Dastani
Computer Aided Verification : 29th International Conference, CAV 2017, H...
Bok av Rupak Majumdar

Practical Aspects of Declarative Languages

Bok av Marco Gavanelli