Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 Revised Selected Papers (Lecture Notes in Computer Science, 4502, Band 4502) - Softcover
Inhaltsangabe
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 formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Types for Proofs and Programs: International Workshop,...
Beispielbild für diese ISBN
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4502)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540744634_new
Neu kaufen
EUR 59,64
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Types for Proofs and Programs
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540744630
ISBN 13: 9783540744634
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 -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 formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education. 272 pp. Englisch. Bestandsnummer des Verkäufers 9783540744634
Neu kaufen
EUR 53,49
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 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. 288. Bestandsnummer des Verkäufers 26301148
Neu kaufen
EUR 76,80
EUR 3,42 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 288 Illus. Bestandsnummer des Verkäufers 7546755
Neu kaufen
EUR 75,82
EUR 7,46 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 288. Bestandsnummer des Verkäufers 18301142
Neu kaufen
EUR 77,33
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Types for Proofs and Programs
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Presents the refereed post-proceedings of the International Workshop of the Types Working GroupIncludes 17 carefully reviewed full papersAddresses all current issues in formal reasoning and computer programming based on type theory. Bestandsnummer des Verkäufers 4899969
Neu kaufen
EUR 64,08
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Types for Proofs and Programs | International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Types for Proofs and Programs | International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers | Thorsten Altenkirch (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540744634 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 101980086
Neu kaufen
EUR 50,35
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, 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 - 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 formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education. Bestandsnummer des Verkäufers 9783540744634
Neu kaufen
EUR 58,39
EUR 62,04 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 269 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Bestandsnummer des Verkäufers 3877567/12
Gebraucht kaufen
EUR 29,90
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar