044 209 91 25 079 869 90 44
Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
E-BookPDFE-Book
Verkaufsrang52106inInformatik EDV
CHF59.00

Beschreibung

This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed.
Weitere Beschreibungen

Details

Weitere ISBN/GTIN9783540458425
ProduktartE-Book
EinbandE-Book
FormatPDF
Format HinweisWasserzeichen
Erscheinungsdatum03.08.2003
Auflage2002
ReiheLecture Notes in Computer Science
Reihen-Nr.2277
Seiten248 Seiten
SpracheEnglisch
IllustrationenVIII, 248 p.
Artikel-Nr.10251245
KatalogVC
Datenquelle-Nr.4502521
WarengruppeInformatik EDV
Weitere Details

Reihe

Über den/die AutorIn