769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

280 sidor
2006

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.

Författare: Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Illustratör: Bibliographie
Format: Pocket/Paperback
ISBN: 9783540314288
Språk: Engelska
Antal sidor: 280
Utgivningsdatum: 2006-01-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K