Zertifizierte Programmierung mit abhängigen Typen: Eine pragmatische Einführung in die
Ø 0.0
0 Bewertungen
61,92 €
Two topics, rarely discussed elsewhere, are covered in detail- effective dependently typed programming (making productive use of a feature at the heart of the Coq system) and construction of domain-specific proof tactics.
Jetzt bei Ebay:
-
EAN:9780262545747
-
UPC:9780262545747
-
ISBN:9780262545747
-
Format:Paperback, 440 pages
-
Author:Chlipala, Adam (Assistant Professor, Massachusetts
-
Book Title:Certified Programming with Dependent Types: A Prag
-
Item Height:2.3 cm
-
Item Length:22.9 cm
-
Item Weight:0.68 kg
-
Item Width:17.8 cm
-
Language:Eng
-
Publisher:MIT Press
-
Expressversand:International Priority Shipping 12,74 EUR - Lieferung zwischen 05. August 2025 und 07. August 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Ö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, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, 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, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
-
Versand ausgeschlossen:Isle of Man , Afghanistan , Armenien , Indien , Russische Föderation , Israel , Türkei , Amerikanisch-Samoa , Französisch-Polynesien , Guam , ... und weitere