Jean-Christophe Filliatre | Akateeminen Kirjakauppa

TYPES FOR PROOFS AND PROGRAMS - INTERNATIONAL WORKSHOP, TYPES 2004, JOUY-EN-JOSAS, FRANCE, DECEMBER 15-18, 2004, REVISED SELECTE

Jean-Christophe Filliatre; Christine Paulin-Mohring; Benjamin Werner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

49,60 €

Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selecte

Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner

49,60 €

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

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus