2 E-böcker av Claude Marche
Hubert Comon & Claude Marche: Constraints in Computational Logics: Theory and Applications
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic progr …
PDF
Engelska
DRM
€57.89
Bernhard Beckert & Claude Marche: Formal Verification of Object-Oriented Software
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, Fo Ve OOS 2010, held in Paris, France, in Ju …
PDF
Engelska
DRM
€57.78
