Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2
  • Bild 3
  • Bild 4
  • Bild 5

Interactive Theorem Proving and Program Develop. Bertot, CastAran

Ø 0.0
0 Bewertungen
64,04 €

Interactive Theorem Proving and Program Develop. Bertot, CastAran, Huet<|.

Jetzt bei Ebay:

Zum Angebot *
  • PublishedOn:
    2004-05-14
  • Title:
    Interactive Theorem Proving and Program Development: Coq'Art: Th
  • ISBN:
    9783540208549
  • Expressversand:
    International Priority Shipping 17,78 EUR - Lieferung zwischen 14. July 2025 und 17. July 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Großbritannien, Antigua und Barbuda, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Spanien, Schweden, Australien, Bahrain, Kanada, Japan, Neuseeland, China, Hongkong, Norwegen, Indonesien, Malaysia, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Paraguay, Réunion, Turks- und Caicosinseln, Aruba, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Chile, Bahamas, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Ukraine
  • Versand ausgeschlossen:
    Afghanistan , Libyen , Nauru , Somalia , Jemen , Israel , Iran , Russische Föderation , Irak , Libanon

Ähnliche Artikel

Produktbild - Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - Acceptable

Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - Acceptable

64,05 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Develop. Bertot, CastAran, Huet<|

Interactive Theorem Proving and Program Develop. Bertot, CastAran, Huet<|

87,32 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development : Coq'Art: th

Interactive Theorem Proving and Program Development : Coq'Art: th

48,15 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development : Coq'Art: th

Interactive Theorem Proving and Program Development : Coq'Art: th

69,79 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development - 9783642058806

Interactive Theorem Proving and Program Development - 9783642058806

65,74 €
Zum Angebot
Produktbild - Proving History: Bayes's Theorem and the Quest for the Historical Jesus (Hardbac

Proving History: Bayes's Theorem and the Quest for the Historical Jesus (Hardbac

23,85 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of In

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of In

47,25 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of

114,09 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of

92,17 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of In

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of In

47,90 €
Zum Angebot
Produktbild - Interactive Theorem Proving - 9783319661063

Interactive Theorem Proving - 9783319661063

46,15 €
Zum Angebot
Produktbild - Interactive Theorem Proving - 9783319221014

Interactive Theorem Proving - 9783319221014

45,29 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In

Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In

94,26 €
Zum Angebot
Produktbild - Interactive Theorem Proving : 4th International Conference, Itp 2013, Paperba...

Interactive Theorem Proving : 4th International Conference, Itp 2013, Paperba...

60,98 €
Zum Angebot
Produktbild - Interactive Theorem Proving - 9783319089690

Interactive Theorem Proving - 9783319089690

46,15 €
Zum Angebot
Produktbild - Interactive Theorem Proving - 9783642396335

Interactive Theorem Proving - 9783642396335

46,15 €
Zum Angebot
Produktbild - Interactive Theorem Proving - 9783319431437

Interactive Theorem Proving - 9783319431437

46,15 €
Zum Angebot
Produktbild - Interactive Theorem Proving - 9783642323461

Interactive Theorem Proving - 9783642323461

45,29 €
Zum Angebot
Produktbild - Interactive Theorem Proving - 9783642228629

Interactive Theorem Proving - 9783642228629

45,29 €
Zum Angebot
Produktbild - Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

35,34 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay