. .
Deutsch
Deutschland
Ähnliche Bücher
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 49.98 EUR, größter Preis: 72.57 EUR, Mittelwert: 65.2 EUR
Types for Proofs and Programs - Marino Miculan
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Marino Miculan:

Types for Proofs and Programs - neues Buch

2007, ISBN: 9783540681038

ID: 9783540681038

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers 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). 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). algorithm algorithms finite sets formal methods formal reasoning formal specification formal verification higher-order logic logic polymorphism program semantics programming programming language programming the verification, Springer Berlin

Neues Buch Rheinberg-Buch.de
Ebook, Englisch, Neuware Versandkosten:Ab 20¤ Versandkostenfrei in Deutschland, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
[(Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers )] [Author: Marino Miculan] [Aug-2008] - MARINO MICULAN
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

MARINO MICULAN:

[(Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers )] [Author: Marino Miculan] [Aug-2008] - Taschenbuch

2008, ISBN: 3540681035

Taschenbuch, [EAN: 9783540681038], Springer, Springer, Book, [PU: Springer], Springer, Types for Proofs and Programs 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., 541686, Kategorien, 117, Belletristik, 187254, Biografien & Erinnerungen, 403434, Business & Karriere, 120, Börse & Geld, 287621, Comics & Mangas, 124, Computer & Internet, 11063821, Erotik, 340583031, Esoterik, 288100, Fachbücher, 142, Fantasy & Science Fiction, 548400, Film, Kunst & Kultur, 122, Freizeit, Haus & Garten, 13690631, Geschenkbücher, 419943031, Horror, 118310011, Kalender, 280652, Kinder- & Jugendbücher, 189528, Kochen & Genießen, 287480, Krimis & Thriller, 1199902, Musiknoten, 121, Naturwissenschaften & Technik, 143, Politik & Geschichte, 536302, Ratgeber, 298002, Reise & Abenteuer, 340513031, Religion & Glaube, 403432, Schule & Lernen, 298338, Sport & Fitness, 186606, Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de
Herb Tandree Philosophy Books
Usato Versandkosten:In Europa, Svizzera e Lichtenstein (se possibile) (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Types for Proofs and Programs - International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Miculan, Marino; Scagnetto, Ivan; Honsell, Furio:
Types for Proofs and Programs - International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - neues Buch

2008

ISBN: 3540681035

ID: 9783540681038

In englischer Sprache. Verlag: Springer Berlin, These proceedings contain a selection of refereed papers presented at or related totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996), which was held during May 2?5, 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). PC-PDF, 203 Seiten, VII Seiten, 203 Seiten, [GR: 9632 - Nonbooks, PBS / Informatik, EDV/Informatik], [SW: - Informatik], [Ausgabe: 2008][PU:Springer Berlin], [PU: Springer, Berlin/Heidelberg]

Neues Buch Libreka.de
Libreka
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Types for Proofs and Programs - International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Miculan, Marino; Scagnetto, Ivan; Honsell, Furio:
Types for Proofs and Programs - International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - neues Buch

2008, ISBN: 3540681035

ID: 9783540681038

In englischer Sprache. Verlag: Springer Berlin, PC-PDF, 203 Seiten, VII Seiten, 203 Seiten, [GR: 9632 - Nonbooks, PBS / Informatik, EDV/Informatik], [SW: - Informatik], [Ausgabe: 2008][PU:Springer Berlin], [PU: Springer, Berlin/Heidelberg]

Neues Buch Libreka.de
Libreka
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Types for Proofs and Programs - Marino Miculan; Ivan Scagnetto; Furio Honsell
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Marino Miculan; Ivan Scagnetto; Furio Honsell:
Types for Proofs and Programs - neues Buch

2008, ISBN: 9783540681038

ID: 21813362

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, [ED: 2008], eBook Download (PDF), eBooks, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Types for Proofs and Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
Autor:

Marino Miculan, Ivan Scagnetto, Furio Honsell

Titel:

Types for Proofs and Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

ISBN-Nummer:

9783540681038

Detailangaben zum Buch - Types for Proofs and Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)


EAN (ISBN-13): 9783540681038
ISBN (ISBN-10): 3540681035
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin
Sprache: eng/Englisch

Buch in der Datenbank seit 21.06.2008 23:44:46
Buch zuletzt gefunden am 10.04.2015 03:37:11
ISBN/EAN: 9783540681038

ISBN - alternative Schreibweisen:
3-540-68103-5, 978-3-540-68103-8

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher