Casttran pierre (2 Ergebnisse)
Interactive Theorem Proving And Program Development : Coq'art: The Calculus Of Inductive Constructions
Bertot, Yves; CastTran, Pierre; Huet, Gerard (FRW); Paulin-Mohring, Christine (FRW)
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 150,29
EUR 2,36 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
Interactive Theorem Proving And Program Development : Coq'art: The Calculus Of Inductive Constructions
Bertot, Yves; CastTran, Pierre; Huet, Gerard (FRW); Paulin-Mohring, Christine (FRW)
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 275,55
EUR 2,36 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: As New. Unread book in perfect condition.
