Marche claude editor (2 Ergebnisse)

Autor:

Mit der Detailsuche verfeinern

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)
Sprache: Englisch
Verlag: Springer 2011
3642180698 / 9783642180699
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 77,58
EUR 11,57 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Paperback. Zustand: 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];
Sprache: Englisch
Verlag: Springer 2001
3540419500 / 9783540419501
- Softcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 91,15
EUR 6,00 Versand
Versand innerhalb von USA
Anzahl: 1 verfügbar
paperback. Zustand: New. In shrink wrap. Looks like an interesting title.