Autore: Hubert Comon

Supporto

2 Ebook di Hubert Comon

Copertina di Gerard Berry & Hubert Comon: Computer Aided Verification
Gerard Berry & Hubert Comon: Computer Aided Verification
…
PDF
Inglese
DRM
€115.37
Copertina di Hubert Comon & Claude Marche: Constraints in Computational Logics: Theory and Applications
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
Inglese
DRM
€57.89