Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Filliâtre, Jean-Christophe (Επιμελητής έκδοσης), Paulin-Mohring, Christine (Επιμελητής έκδοσης), Werner, Benjamin (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Σειρά:Lecture Notes in Computer Science, 3839
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Περιγραφή
Φυσική περιγραφή:VIII, 280 p. online resource.
ISBN:9783540314295
ISSN:0302-9743 ;