Thorsten Altenkirch | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

TYPES FOR PROOFS AND PROGRAMS - INTERNATIONAL WORKSHOP, TYPES 2006, NOTTINGHAM, UK, APRIL 18-21, 2006, REVISED SELECTED PAPERS

Thorsten Altenkirch; Conor McBride
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

TYPES FOR PROOFS AND PROGRAMS - INTERNATIONAL WORKSHOP, TYPES '98, KLOSTER IRSEE, GERMANY, MARCH 27-31, 1998, SELECTED PAPERS

Thorsten Altenkirch; Wolfgang Naraschewski; Bernhard Reus
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja

51,40 €

CONCEPTUAL PROGRAMMING WITH PYTHON

Thorsten Altenkirch; Isaac Triguero
Lulu.com (2020)
Pehmeäkantinen kirja

25,40 €

Types for Proofs and Programs - International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Thorsten Altenkirch, Conor McBride

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 272 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007 ed.
Julkaisuvuosi: 2007, 01.10.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus