Claude Marche – författare
Visar alla böcker från författaren Claude Marche. Handla med fri frakt och snabb leverans.
4 produkter
Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
Av Hubert Comon, Claude Marche m. fl.
Häftad, 2001
567 kr
Lägg i varukorg
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 programming since the 1980s and more recently for functional programming. The use of constraints in …
Constraints in Computational Logics: Theory and Applications
International Summer School, CCL''99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
Av Ralf Treinen, Claude Marche m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
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 programming since the 1980s and more recently for functional programming. The use of constraints in …
Formal Verification of Object-Oriented Software
International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Av Bernhard Beckert, Claude Marché
Häftad, 2011
567 kr
Lägg i varukorg
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 …
Formal Verification of Object-Oriented Software
International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Av Claude Marche, Bernhard Beckert
E-bok, 2011
739 kr
Lägg i varukorg
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 …
