C casteran (4 Ergebnisse)
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 119,10
EUR 2,38 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 107,42
EUR 17,95 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 228,00
EUR 17,95 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 256,23
EUR 2,38 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
