Comparor Shopping Experience

Preis von
114.00 EUR

Verified Functional Programming in Agda

Geschäfte, in denen Sie dieses Produkt kaufen können

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

+ Informationen zu Medimops DE

GesponsertVerified Functional Programming in Agda (Acm Books)

Günstigstes Angebot

114.00 EUR

Siehe Produktangebot

Dieses Produkt im Comparor
Kategorie Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert	- Informatik - Programmiersprachen
International Finden Sie dieses Produkt in einem unserer internationalen Geschäfte	Dieses Produkt wurde in anderen Ländern nicht gefunden
Farben Vorherrschende Farben des Produkts
Bezeichner
Marke	ACM Books
ID	23640122
Abmessungen / Gewicht
Hauptmerkmale

Fügen Sie meine Meinung zu diesem Produkt hinzu

Ich möchte eine Frage zu diesem Produkt stellen

Related zusammenhängen

Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers

Springer-Verlag GmbH (9783030035914 / 34417028)

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised ... Notes in Computer Science, Band 9593)

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised ... Notes in Computer Science, Band 9593)

(9783319296128 / 41 black & white illustrations, biograph)

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... Notes in Computer Science, Band 4171)

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... Notes in Computer Science, Band 4171)

(9783540691471)

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected ... Notes in Computer Science, Band 9971)

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected ... Notes in Computer Science, Band 9971)

(9783319488684)

Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

Springer Berlin Heidelberg (9783642784255 / 7 black & white tables, biography) | For Verified Computing I

Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

(9783642541070 / 83 black & white illustrations, biograph)