Von dem Buch Types for Proofs and Programs haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
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%: MARINO MICULAN: Types for Proofs and Programs (ISBN: 9783540681038) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
86%: Sous la direction de: Marino Miculan, Sous la direction de: Ivan Scagnetto, Sous la direction de: Furio Honsell: Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes . Computer Science and General Issues) (ISBN: 9783540680840) 2008, Springer, Berlin, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
Types for Proofs and Programs - 12 Angebote vergleichen
| Preise | 2014 | 2018 | 2019 |
|---|---|---|---|
| Schnitt | € 70,80 | € 57,49 | € 52,61 |
| Nachfrage |
1
Types for Proofs and Programs (2007)
~EN NW EB DLISBN: 9783540681038 bzw. 3540681035, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Japan, Lagernd, zzgl. Versandkosten.
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. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education. eBook.
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. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education. eBook.
2
Types for Proofs and Programs - International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (2007)
~EN NW EB DLISBN: 9783540681038 bzw. 3540681035, vermutlich in Englisch, Springer Berlin, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Types for Proofs and Programs: These proceedings contain a selection of refereed papers presented at or related totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996), which was held during May 25, 2007 in Cividale del Friuli (Udine), Italy. The topic of this workshop was formal reasoning and computer progr- ming basedon type theory:languagesand computerized toolsfor reasoning,and applications in several domains such as analysis of programming languages, c- ti ed software, formalization of mathematics and mathematics education. The workshopwasattended by morethan 100researchersandincluded morethan 40 presentations. We also had the pleasure of three invited lectures, from Fr ed eric Blanqui (INRIA, Protheo team), Peter Sewell (University of Cambridge) and Amy Felty (University of Ottawa). From 22 submitted papers, 13 were selected after a reviewing process. Each submitted paper was reviewed by three referees the nal decisions were made by the editors. This workshop is the last of a series of meetings of the TYPES working group funded by the European Union (IST project 29001, ESPRIT Working Group 21900, ESPRIT BRA 6435). Englisch, Ebook.
Types for Proofs and Programs: These proceedings contain a selection of refereed papers presented at or related totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996), which was held during May 25, 2007 in Cividale del Friuli (Udine), Italy. The topic of this workshop was formal reasoning and computer progr- ming basedon type theory:languagesand computerized toolsfor reasoning,and applications in several domains such as analysis of programming languages, c- ti ed software, formalization of mathematics and mathematics education. The workshopwasattended by morethan 100researchersandincluded morethan 40 presentations. We also had the pleasure of three invited lectures, from Fr ed eric Blanqui (INRIA, Protheo team), Peter Sewell (University of Cambridge) and Amy Felty (University of Ottawa). From 22 submitted papers, 13 were selected after a reviewing process. Each submitted paper was reviewed by three referees the nal decisions were made by the editors. This workshop is the last of a series of meetings of the TYPES working group funded by the European Union (IST project 29001, ESPRIT Working Group 21900, ESPRIT BRA 6435). Englisch, Ebook.
3
Types for Proofs and Programs (2007)
~EN PB NWISBN: 9783540681038 bzw. 3540681035, vermutlich in Englisch, Springer Berlin Heidelberg, Taschenbuch, neu.
Types for Proofs and Programs ab 67.99 € als pdf eBook: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,.
4
Types for Proofs and Programs (2007)
DE NWISBN: 9783540681038 bzw. 3540681035, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Types for Proofs and Programs als eBook von (2007)
DE NWISBN: 9783540681038 bzw. 3540681035, in Deutsch, Springer Berlin Heidelberg, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Types for Proofs and Programs (2007)
~EN NW EB DLISBN: 9783540681038 bzw. 3540681035, vermutlich in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Types for Proofs and Programs
DE PB NWISBN: 9783540680840 bzw. 3540680845, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
![9783540680840 - Miculan, Marino [Editor]; Scagnetto, Ivan [Editor]; Honsell, Furio [Editor]: Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes . Computer Science and General Issues)](/c-9783540680840-3.jpg "9783540680840 - Miculan, Marino [Editor]; Scagnetto, Ivan [Editor]; Honsell, Furio [Editor]: Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes . Computer Science and General Issues)")
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes . Computer Science and General Issues) (2008)
DE PBISBN: 9783540680840 bzw. 3540680845, in Deutsch, Springer, Taschenbuch.
Von Händler/Antiquariat, GuthrieBooks [52069477], Spring Branch, TX, U.S.A.
Ex-library paperback in very nice condition with the usual markings and attachments.
Ex-library paperback in very nice condition with the usual markings and attachments.
9
Types for Proofs and Programs. International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (2008)
EN PB USISBN: 9783540681038 bzw. 3540681035, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Taschenbuch, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2008, Studio: Springer.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Taschenbuch, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2008, Studio: Springer.
10
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes . Computer Science and General Issues)
DE PB USISBN: 9783540680840 bzw. 3540680845, in Deutsch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Qwestbooks COM LLC [52241549], Bensalem, PA, U.S.A.
3540680845 Minor shelf wear with overstock mark.
Von Händler/Antiquariat, Qwestbooks COM LLC [52241549], Bensalem, PA, U.S.A.
3540680845 Minor shelf wear with overstock mark.
Lade…