Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

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

Name: Interactive Theorem Proving and Program Develop. Bertot, CastAran, Huet<|
SKU: 195561888841
Price: 87.55 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

87,55 €

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
EAN:

9783540208549

Expressversand:

International Priority Shipping 18,48 EUR - Lieferung zwischen 03. July 2025 und 07. 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

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

Interactive Theorem Proving and Program Develop. Bertot, CastAran

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

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

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

Interactive Theorem Proving and Program Development - 9783642058806

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

Pierre Casteran - Interactive Theorem Proving and Program Development - L555z

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

Interactive Theorem Proving - 9783319948201

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of In

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

Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...

Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

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

Interactive Theorem Proving : 8th International Conference, Proceedings, Pape...

Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

Interactive Theorem Proving : 8th International Conference, Proceedings, Pape...

Interactive Theorem Proving - 9783319221014

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

Ähnliche Artikel

Interactive Theorem Proving and Program Develop. Bertot, CastAran

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

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

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

Interactive Theorem Proving and Program Development - 9783642058806

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

Pierre Casteran - Interactive Theorem Proving and Program Development - L555z

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

Interactive Theorem Proving - 9783319948201

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

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

Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...

Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

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

Interactive Theorem Proving : 8th International Conference, Proceedings, Pape...

Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

Interactive Theorem Proving : 8th International Conference, Proceedings, Pape...

Interactive Theorem Proving - 9783319221014

Cookie Hinweis

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of In