Marche Claude Editor (2 results)

Author:

Refine with Advanced Search

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers . / Programming and Software Engineering)
Beckert, Bernhard (Editor) / Marché, Claude (Editor)
Language: English
Published by Springer, 2011
3642180698 / 9783642180699
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 89.93
US$ 13.32 shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Paperback. Condition: Brand New. 1st edition. 199 pages. 9.40x6.10x0.50 inches. In Stock.
Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures (Lecture Notes in Computer Science, 2002)
Comon, Hubert [Editor]; Marche, Claude [Editor]; Treinen, Ralf [Editor];
Language: English
Published by Springer, 2001
3540419500 / 9783540419501
- Softcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
5-star seller
Contact seller
Condition: New
US$ 102.58
US$ 6.95 shipping
Ships within U.S.A.
Quantity: 1 available
paperback. Condition: New. In shrink wrap. Looks like an interesting title.