Pierre Casteran - Interactive Theorem Proving and Program Development - L555z
Ø 0.0
0 Bewertungen
157,72 €
The item is a book Hardback. Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions.
Jetzt bei Ebay:
-
Fiction/Non-Fiction:Non-Fiction
-
Genre/Subject:COMPUTERS / Programming / General
-
Brand:Texts in Theoretical Computer Science. An EATCS Series
-
Weight:0.88
-
Style:NA
-
Title:Interactive Theorem Proving and Program Development Coq'Art
-
Release Title:Interactive Theorem Proving and Program Development Coq'Art
-
Record Grading:New
-
Sleeve Grading:New
-
Platform:NA
-
Size:NA
-
Film/TV Title:Interactive Theorem Proving and Program Development Coq'Ar
-
Colour:NA
-
Material:NA
-
Department:NA
-
Binding Type:Hardcover
-
Item Length:233.93
-
Main Stone:NA
-
Metal Purity:NA
-
Metal:NA
-
Connectivity:NA
-
Model:NA
-
ISBN:9783540208549
-
Expressversand:International Priority Shipping 14,81 EUR - Lieferung zwischen 03. July 2025 und 08. 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, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Indonesien, Malaysia, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Thailand, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ä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, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Aruba, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Bahamas, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
-
Versand ausgeschlossen:Afghanistan , Libyen , Nauru , Somalia , Jemen , Israel , Iran , Russische Föderation
