Häftad, Engelska, 2006
Types for Proofs and Programs
Av Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
576 kr
Skickas inom 10-15 vardagar
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2006-01-25
- Mått: 155 x 235 x undefined mm
- Format: Häftad
- Språk: Engelska
- Antal sidor: 280
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Serie: Lecture Notes in Computer Science
- ISBN: 9783540314288
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.