Types for proofs and programs : LIPIcs proceedings 19th International Conference TYPES 2013, April 22–26, 2013, Toulouse, France

Types for proofs and programs LIPIcs proceedings 19th International Conference TYPES 2013, April 22–26, 2013, Toulouse, France

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Conference on Types for Proofs and Programs (VerfasserIn)
Weitere Verfasser: Matthes, Ralph (HerausgeberIn), Schubert, Aleksy (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Norderstedt Books on Demand 2014
Ausgabe:1. Aufl
Schriftenreihe:Leibniz International Proceedings in Informatics 26
Schlagworte:
Konferenzschrift
Online Zugang:Inhaltstext
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:viii, 269 Seiten
270 mm x 190 mm, 673 g
ISBN:3735756867
3-7357-5686-7
9783735756862
978-3-7357-5686-2