Types for Proofs and Programs / Lecture Notes in Computer Science Bd.2277 (PDF)
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Types for Proofs and Programs / Lecture Notes in Computer Science Bd.2277 (PDF)“
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.
Bibliographische Angaben
- 2003, 2002, 248 Seiten, Englisch
- Herausgegeben: Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540458425
- ISBN-13: 9783540458425
- Erscheinungsdatum: 03.08.2003
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 3.25 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Types for Proofs and Programs / Lecture Notes in Computer Science Bd.2277"
0 Gebrauchte Artikel zu „Types for Proofs and Programs / Lecture Notes in Computer Science Bd.2277“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Types for Proofs and Programs / Lecture Notes in Computer Science Bd.2277".
Kommentar verfassen