Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en
42,78 €
Jetzt bei Ebay:
-
ISBN-10:3642228623
-
Buchtitel:Interactive Theorem Proving
-
Untertitel:Second International Conference, ITP 2011, Berg en
-
Höhe:2.3 cm
-
Gewicht:603 g
-
Länge:23.6 cm
-
Breite:15.9 cm
-
ISBN:9783642228629
-
Reihe:Lecture Notes in Computer Science, Theoretical Computer Science And General Issues
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2011
-
Anzahl der Seiten:Xi Seiten
-
Autor:Julien Schmaltz, Freek Wiedijk, Herman Geuvers, Marko Van Eekelen
-
Verlag:Springer-Verlag Gmbh, Springer Berlin
-
Publikationsname:Interactive Theorem Proving
-
Sprache:Englisch
-
Expressversand:Sonstige (1 Werktag) kostenlos - Lieferung zwischen 14. July 2025 und 14. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere