2 电子书 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 …
PDF
英语
DRM
€57.00
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 …
PDF
英语
DRM
€57.61
