Marche claude editor (2 risultati)

Autore:

Perfeziona con la Ricerca avanzata

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)
Lingua: Inglese
Editore: Springer, 2011
3642180698 / 9783642180699
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 78,81
EUR 11,71 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Paperback. Condizione: 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];
Lingua: Inglese
Editore: Springer, 2001
3540419500 / 9783540419501
- Brossura
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 92,35
EUR 6,07 spedizione
Spedito in U.S.A.
Quantità: 1 disponibili
paperback. Condizione: New. In shrink wrap. Looks like an interesting title.