Bestellen Terug

Hoofdkenmerken

Auteur:	Pollack, Robert
Redactie:	Pollack, Robert
Titel:	Types for Proofs and Programs International Workshop, TYPES
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540432876
Serie:	Lecture Notes in Computer
Editie:	2002 ed.
Land van oorsprong:	Germany
Prijs:	€ 83.84
Verschijningsdatum:	20-02-2002
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Computer architecture & logic design
Geillustreerd:	VIII, 248 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	248
Hoogte mm.:	233
Breedte mm.:	155
Gewicht gr.:	820

 

Inhoud:

This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory.