Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 9783540140313
Price: 1147 CZK
Availability: InStock

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Autor: Herman Geuvers, Freek Wiedijk

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop...

Informace o knize

Autor

Herman Geuvers, Freek Wiedijk

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2003

Stránek

336

EAN

9783540140313

ISBN

354014031X

Enbook ID

01558109

Vydavatel

Springer, Berlin

Hmotnost

485

Rozměry

155 x 235 x 18

Kompletní popis

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002.§The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Coq and Isar/HOL.