Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - neues Buch
2007, ISBN: 9783540681038
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.Th… Mehr…
hive.co.uk No. 9783540681038. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2007, ISBN: 9783540681038
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. T… Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2007, ISBN: 9783540681038
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. T… Mehr…
Springer.com Nr. 978-3-540-68103-8. Versandkosten:Worldwide free shipping, , plus shipping costs. (EUR 0.00) Details... |
2008, ISBN: 9783540681038
International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], [ED: 2008], Sprin… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2007, ISBN: 9783540681038
Types for Proofs and Programs - International Conference TYPES 2007 Cividale del Friuli Italy May 2-5 2007 Revised Selected Papers: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathema… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - neues Buch
2007, ISBN: 9783540681038
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.Th… Mehr…
2007, ISBN: 9783540681038
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. T… Mehr…
2007
ISBN: 9783540681038
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. T… Mehr…
2008, ISBN: 9783540681038
International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], [ED: 2008], Sprin… Mehr…
2007, ISBN: 9783540681038
Types for Proofs and Programs - International Conference TYPES 2007 Cividale del Friuli Italy May 2-5 2007 Revised Selected Papers: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathema… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Types for Proofs and Programs
EAN (ISBN-13): 9783540681038
ISBN (ISBN-10): 3540681035
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin Heidelberg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-06-21T23:44:46+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-01-06T16:22:00+01:00 (Zurich)
ISBN/EAN: 9783540681038
ISBN - alternative Schreibweisen:
3-540-68103-5, 978-3-540-68103-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: honsell, marino
Titel des Buches: proofs and types, cividale del friuli, papers, two types
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540391852 Types for Proofs and Programs (Herman Geuvers; Freek Wiedijk)
- 9783540391852 Types for Proofs and Programs (Herman Geuvers; Freek Wiedijk)
- 9783540221647 Types for Proofs and Programs (Berardi, Stefano Coppo, Mario Damiani, Ferruccio)
- 9783540140313 Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Herman Geuv (Herman Geuvers; Freek Wiedijk)
< zum Archiv...