Verwandte Artikel zu Types for Proofs and Programs: International Conference,...
Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers: 4941 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, Furio Honsell, Marino Miculan, Ivan Scagnetto, 9783540680840, Springer, 2008, Paperback
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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).
Contraportada
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2008
- ISBN 10 3540680845
- ISBN 13 9783540680840
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten220
- HerausgeberMiculan Marino
Neu kaufen
Diesen Artikel anzeigen
EUR 28,30
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Types for Proofs and Programs: International Conference,...
Beispielbild für diese ISBN
Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-268841
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-1124
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 220. Bestandsnummer des Verkäufers 26478900
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 220 Illus. Bestandsnummer des Verkäufers 7401835
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 220. Bestandsnummer des Verkäufers 18478910
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4941)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783540680840
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4941)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540680840_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Verlag:
Springer Berlin Heidelberg, 2008
ISBN 10: 3540680845
ISBN 13: 9783540680840
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen, Ausgabe 2008 | Seiten: 220 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 4430237/12
Anzahl: 1 verfügbar
Foto des Verkäufers
Types for Proofs and Programs
Verlag:
Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540680845
ISBN 13: 9783540680840
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 220 pp. Englisch. Bestandsnummer des Verkäufers 9783540680840
Anzahl: 2 verfügbar
Foto des Verkäufers
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783540680840
Anzahl: 1 verfügbar