Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540314288
Price: 297.36 RON
Availability: InStock

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

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

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

297.36 lei

The 17 revised full papers presented here cover all current issues of formal reasoning and computer...

Informații despre carte

Autor

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

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2006

Pagini

280

EAN

9783540314288

ISBN

3540314288

Enbook ID

01561624

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

910

Dimensiuni

155 x 235 x 17

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și