Types for Proofs and Programs

International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science)

von | Herausgeber: Springer, Berlin
Durchschnittliche Bewertung von 0
| 0 Summe Beiträge davon 0 Rezensionen , 0 Zitate , 0 Abbildungen , 0 Bemerkungen , 0 Video
Deine Bewertung:
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98, held under the auspices of the ESPRIT Working Group 21900. The 14 revised full papers presented went thro ...Continua
- TIPS -
Nessun elemento trovato
Aggiungi per primo una recensione!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una citazione!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una immagine!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una nota!

- TIPS -
Nessun elemento trovato
Aggiungi per primo un video!

Lorem Ipsum Color sit Amet
di Nome Autore
Lorem ipsum dolor sit amet, consectetur Suspendisse varius consequat feugiat.
Scheda libro
Aggiungi