Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 49,98 €, prix le plus élevé: 67,82 €, prix moyen: 61,40 €
Types for Proofs and Programs - Marino Miculan
Livre non disponible
(*)
Marino Miculan:
Types for Proofs and Programs - nouveau livre

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

Nouveaux livres Rheinberg-Buch.de
Ebook, Englisch, Neuware Frais d'envoiAb 20¤ Versandkostenfrei in Deutschland, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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
Livre non disponible
(*)
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 - nouveau livre

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]

Nouveaux livres Libreka.de
Libreka
Frais d'envoiLivraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Types for Proofs and Programs - Marino Miculan; Ivan Scagnetto; Furio Honsell
Livre non disponible
(*)
Marino Miculan; Ivan Scagnetto; Furio Honsell:
Types for Proofs and Programs - nouveau livre

ISBN: 9783540681038

ID: 9783540681038

Computer Science; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation; Artificial Intelligence (incl. Robotics) 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 Books eBook, Springer Science+Business Media

Nouveaux livres Springer.com
Frais d'envoi EUR 0.00
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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
Livre non disponible
(*)
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 - nouveau livre

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]

Nouveaux livres Libreka.de
Libreka
Frais d'envoiLivraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Types for Proofs and Programs - Marino Miculan; Ivan Scagnetto; Furio Honsell
Livre non disponible
(*)
Marino Miculan; Ivan Scagnetto; Furio Honsell:
Types for Proofs and Programs - nouveau livre

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]

Nouveaux livres Lehmanns.de
Frais d'envoiDownload sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre

Informations détaillées sur le livre - 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
Livre de poche
Date de parution: 2008
Editeur: Springer Berlin
Langue: eng/Englisch

Livre dans la base de données depuis 21.06.2008 23:44:46
Livre trouvé récemment le 27.12.2016 13:48:47
ISBN/EAN: 3540681035

ISBN - Autres types d'écriture:
3-540-68103-5, 978-3-540-68103-8


< pour archiver...
Livres en relation