Marche claude editor (2 résultats)

Auteur:

Affiner les résultats avec une recherche avancée

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)
Langue : anglais
Edité par Springer, 2011
3642180698 / 9783642180699
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 80,14
EUR 11,78 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible
Paperback. Etat : 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];
Langue : anglais
Edité par Springer, 2001
3540419500 / 9783540419501
- Couverture souple
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 94,24
EUR 6,20 expédition
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible
paperback. Etat : New. In shrink wrap. Looks like an interesting title.