VLB Suche
Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)
Drucken
Suchergebnisse
Produktdetails
- Autor
- Herausgegeben von Eduardo Gimenez, Herausgegeben von Christine Paulin-Mohring
Types for Proofs and Programs
- Untertitel
- International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
- Verlag
- Springer Berlin
- ISBN/EAN
- 978-3-540-49562-8
- Preis
- 53,49 EUR
- Status
- lieferbar
