Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 Revised Selected Papers - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Types for Proofs and Programs: International Workshop,...
Image fournie par le vendeur
Types for Proofs and Programs
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10 : 3540744630
ISBN 13 : 9783540744634
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540744634
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Types for Proofs and Programs
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 288. N° de réf. du vendeur 26301148
Acheter neuf
EUR 76,44
Expédition à EUR 3,41
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Types for Proofs and Programs
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 288 Illus. N° de réf. du vendeur 7546755
Acheter neuf
EUR 75,47
Expédition à EUR 7,50
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Types for Proofs and Programs
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 288. N° de réf. du vendeur 18301142
Acheter neuf
EUR 77,33
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Types for Proofs and Programs
Edité par
Springer Berlin Heidelberg, 2007
ISBN 10 : 3540744630
ISBN 13 : 9783540744634
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. N° de réf. du vendeur 4899969
Acheter neuf
EUR 53,95
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Types for Proofs and Programs | International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 101980086
Acheter neuf
EUR 50,35
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Edité par
Springer, Berlin, Springer, 2007
ISBN 10 : 3540744630
ISBN 13 : 9783540744634
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540744634
Acheter neuf
EUR 58,39
Expédition à EUR 62,04
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Edité par
Springer-Verlag GmbH, 2007
ISBN 10 : 3540744630
ISBN 13 : 9783540744634
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 269 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 3877567/12
Acheter D'occasion
EUR 29,90
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)