Suchergebnisse für "Yves Bertot"

18 Artikel

Interactive Theorem Proving and Program Development (eBook, PDF)
65,95 €
Sofort per Download lieferbar
Versandkostenfrei
Yves Bertot
Pierre Castéran
Interactive Theorem Proving and Program Development (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
14. März 2013
Springer Berlin Heidelberg
Auch erhältlich als
Broschiertes Buch59,99 €
Gebundenes Buch83,99 €
Interactive Theorem Proving and Program Development
59,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Yves Bertot
Pierre Castéran
Interactive Theorem Proving and Program Development
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Coq¿Art: The Calculus of Inductive Constructions
Softcover reprint of hardcover 1st ed. 2004
15. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-05880-6
Interactive Theorem Proving and Program Development
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Yves Bertot
Pierre Castéran
Interactive Theorem Proving and Program Development
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Coq¿Art: The Calculus of Inductive Constructions
2004
14. Mai 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20854-9
Theorem Proving in Higher Order Logics
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Yves Bertot / Gilles Dowek / Andre Hirschowitz / Christine Paulin / Laurent Thery (eds.)
Theorem Proving in Higher Order Logics
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
1999.
1. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704460,978-3-540-66463-5
Auch erhältlich als
eBook, PDF40,95 €
From Semantics to Computer Science (eBook, PDF)
100,95 €
Sofort per Download lieferbar
Versandkostenfrei
From Semantics to Computer Science (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
24. September 2009
Cambridge University Press
Auch erhältlich als
Gebundenes Buch163,99 €
Theorem Proving in Higher Order Logics (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Theorem Proving in Higher Order Logics (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
31. Juli 2003
Springer Berlin Heidelberg
Rosamunde Pilcher: Verlorene Liebe - Collection (4 Titel)
19,99 €
Sofort lieferbar
Rosamunde Pilcher: Verlorene Liebe - Collection (4 Titel)
  (Aktuell noch keine Bewertungen)
DVD
19. August 2022
Leonine
From Semantics to Computer Science
163,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
From Semantics to Computer Science
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
24. September 2009
Cambridge University Press
Unity and Diversity in Development Ideas
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Yves Berthelot (ed.)
Unity and Diversity in Development Ideas
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Perspectives from the Un Regional Commissions
30. Januar 2004
Indiana University Press
Impact des relations avec le Tiers Monde sur l'économie française
Yves Berthelot
Impact des relations avec le Tiers Monde sur l'économie française
  (Aktuell noch keine Bewertungen)
Buch
Paris, La Documentation Française
Impact des relations avec le Tiers Monde sur l'économie française
Yves Berthelot
Impact des relations avec le Tiers Monde sur l'économie française
  (Aktuell noch keine Bewertungen)
Buch
Paris, La Documentation Française
Frühlingsgefühle
9,49 €**
8,99 €
**Niedrigster Preis der vergangenen 30 Tage
Sofort lieferbar
Frühlingsgefühle
  (Aktuell noch keine Bewertungen)
DVD
1. Juli 2016
Studio Hamburg
Ein Sommer im Elsass
9,49 €
Sofort lieferbar
Ein Sommer im Elsass
  (Aktuell noch keine Bewertungen)
DVD
26. Juni 2015
Studio Hamburg
Katie Fforde: Collection 7 DVD-Box
26,99 €
Sofort lieferbar
Versandkostenfrei
Katie Fforde: Collection 7 DVD-Box
  (Aktuell noch keine Bewertungen)
DVD
30. September 2016
Studio Hamburg
Mathématiques - Tle ST2S Intervalle Livre de l`élève
Hugon, Albert, Yves Bertholet Jean-Luc Dianoux u. a.
Mathématiques - Tle ST2S Intervalle Livre de l`élève
  (Aktuell noch keine Bewertungen)
Buch
NATHAN


Ähnlichkeitssuche: Fact®Finder von OMIKRON