Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Liliana Sikorska: Types for Proofs and Programs (ISBN: 9783540744641) 2006, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
100%: Sous la direction de: Thorsten Altenkirch, Sous la direction de: Connor McBride: Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in . Computer Science and General Issues) (ISBN: 9783540744634) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Types for Proofs and Programs - 14 Angebote vergleichen
| Preise | 2016 | 2019 | 2023 |
|---|---|---|---|
| Schnitt | € 60,79 | € 66,98 | € 40,77 |
| Nachfrage |
Types for Proofs and Programs: International Workshop, Types 2006 Nottingham, UK, April 18-21, 2006 Revised Selected Papers (Paperback) (2006)
DE PB NWISBN: 9783540744634 bzw. 3540744630, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Paperback. The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in forma.Shipping may be from our UK, US or Australian warehouse depending on stock availability. This item is printed on demand. 268 pages. 0.422.
Types for Proofs and Programs (2007)
DE PB NWISBN: 9783540744634 bzw. 3540744630, in Deutsch, Springer-Verlag Gmbh Okt 2007, Taschenbuch, neu.
Neuware - This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006. The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. All current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education. 269 pp. Englisch.
Types for Proofs and Programs (2006)
DE PB NWISBN: 9783540744641 bzw. 3540744649, in Deutsch, Springer Berlin Heidelberg, Taschenbuch, neu.
Types for Proofs and Programs. International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (2007)
DE PB USISBN: 9783540744634 bzw. 3540744630, in Deutsch, Springer, Taschenbuch, gebraucht.
Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
Types for Proofs and Programs (2006)
DE NW EBISBN: 9783540744641 bzw. 3540744649, in Deutsch, Springer-Verlag GmbH, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
TYPES FOR PROOFS AND PROGRAMS: INTERNATIONAL WORKSHOP, TYPES 2006, NOTTINGHAM, UK, APRIL 18-21, 2006, REVISED SELECTED PAPERS
DE NWISBN: 9783540744634 bzw. 3540744630, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Types for Proofs and Programs (2006)
DE NW EB DLISBN: 9783540744641 bzw. 3540744649, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Types for Proofs and Programs (2006)
DE NW EBISBN: 9783540744641 bzw. 3540744649, in Deutsch, Springer-Verlag GmbH, Springer-Verlag GmbH, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
TYPES FOR PROOFS AND PROGRAMS: INTERNATIONAL WORKSHOP, TYPES 2006, NOTTINGHAM, UK, APRIL 18-21, 2006, REVISED SELECTED PAPERS
DEISBN: 9783540744634 bzw. 3540744630, in Deutsch, Springer, Berlin/Heidelberg, Deutschland.
3540744630 Yr. of Pub.