Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008. The 19 revised full papers presented we...
Uloženo v:
Další autoři: |
Berardi, Stefano
(Editor) Damiani, Ferruccio (Editor) de’Liguoro, Ugo (Editor) |
---|---|
Korporace: |
SpringerLink (online služba)
(Distributor) |
Konference: |
TYPES 2008 (Turín, Itálie) |
Médium: | E-kniha |
Jazyk: | angličtina |
Vydáno: |
Berlin ; Heidelberg ; New York :
Springer,
2009
|
Edice: | Lecture notes in computer science
|
Žánr/forma: | elektronické knihy sborníky konferencí |
ISBN: | 978-3-642-02444-3 978-3-642-02443-6 3-642-02443-2 |
Témata: | |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|