- 5 Résultats
prix le plus bas: € 40,66, prix le plus élevé: € 58,10, prix moyen: € 51,94
1
Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Stefano Berardi
Commander
sur ZVAB.com
€ 58,10
Envoi: € 11,991
Commander
Détails du fournisseur
Lien sponsorisé
Stefano Berardi:

Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Livres de poche

2009, ISBN: 3642024432

[EAN: 9783642024436], Neubuch, [SC: 11.99], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; COQ; QUICKSORT; SCHEME; SIMULATION; ABSTRACTMATHEMATICS; ANSWERSETPROGR… Plus…

NEW BOOK. Frais d'envoi EUR 11.99 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
2
Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Stefano Berardi
Commander
sur ZVAB.com
€ 58,10
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Stefano Berardi:

Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Livres de poche

2009, ISBN: 3642024432

[EAN: 9783642024436], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; COQ; QUICKSORT; SCHEME; SIMULATION; ABSTRACTMATHEMATICS; ANSWERSETPROGRAM… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
3
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Berardi, Stefano (Herausgeber); De Liguoro, Ugo (Herausgeber); Damiani, Ferruccio (Herausgeber)
Commander
sur Achtung-Buecher.de
€ 57,66
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Berardi, Stefano (Herausgeber); De Liguoro, Ugo (Herausgeber); Damiani, Ferruccio (Herausgeber):
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - nouveau livre

2009

ISBN: 3642024432

2009 Kartoniert / Broschiert EDV / Theorie / Informatik / Allgemeines, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Theoretische Informatik, Künstliche Intel… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
4
Commander
sur ZVAB.com
€ 40,66
Envoi: € 6,901
Commander
Détails du fournisseur
Lien sponsorisé
Berardi, Stefano, Ferruccio Damiani und Ugo de Liguoro:
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Livres de poche

2009, ISBN: 3642024432

[EAN: 9783642024436], Gebraucht, guter Zustand, [SC: 6.9], [PU: Springer Berlin], FORMAL PROOFS,QUICKSORT,SIMULATION,COMPLEXITY,FORMAL VERIFICATION,LOGIC PROGRAMMING,FORMAL SEMANTICS,ANSW… Plus…

NOT NEW BOOK. Frais d'envoi EUR 6.90 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fermer(X)
5
Commander
sur AbeBooks.de
€ 45,18
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Berardi, Stefano, Ferruccio Damiani und Ugo de Liguoro:
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Livres de poche

2009, ISBN: 3642024432

[EAN: 9783642024436], Gebraucht, guter Zustand, [PU: Springer Berlin], FORMAL PROOFS,QUICKSORT,SIMULATION,COMPLEXITY,FORMAL VERIFICATION,LOGIC PROGRAMMING,FORMAL SEMANTICS,ANSWER SET PROG… Plus…

NOT NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Types for Proofs and Programs
Auteur:
Titre:
ISBN:

9783642024436


This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008. The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, mathematics education.

Informations détaillées sur le livre - Types for Proofs and Programs


EAN (ISBN-13): 9783642024436
ISBN (ISBN-10): 3642024432
Version reliée
Livre de poche
Date de parution: 2009
Editeur: Springer Berlin
322 Pages
Poids: 0,512 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-02-17T20:33:43+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-03T00:09:00+02:00 (Paris)
ISBN/EAN: 9783642024436

ISBN - Autres types d'écriture:
3-642-02443-2, 978-3-642-02443-6
Autres types d'écriture et termes associés:
Auteur du livre: damiani, berard, ferrucci, berardi, stefano, damian stefan, bérard
Titre du livre: torino, two types, proofs and types, computer type, international and programs, stefano

Données de l'éditeur

Auteur: Stefano Berardi; Ferruccio Damiani; Ugo de Liguoro
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Types for Proofs and Programs - International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Editeur: Springer; Springer Berlin
323 Pages
Date de parution: 2009-06-19
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 323 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Coq; Quicksort; Scheme; Simulation; abstract mathematics; answer set programming; complexity; formal proofs; formal semantics; formal specification; formal verification; logic programming; programming language; proving; recursion; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Symbolic and Algebraic Manipulation; Artificial Intelligence; Theoretische Informatik; Compiler und Übersetzer; Mathematik für Informatiker; Künstliche Intelligenz; EA

Type Inference by Coinductive Logic Programming.- About the Formalization of Some Results by Chebyshev in Number Theory.- A New Elimination Rule for the Calculus of Inductive Constructions.- A Framework for the Analysis of Access Control Models for Interactive Mobile Devices.- Proving Infinitary Normalization.- First-Class Object Sets.- Monadic Translation of Intuitionistic Sequent Calculus.- Towards a Type Discipline for Answer Set Programming.- Type Inference for a Polynomial Lambda Calculus.- Local Theory Specifications in Isabelle/Isar.- Axiom Directed Focusing.- A Type System for Usage of Software Components.- Merging Procedural and Declarative Proof.- Using Structural Recursion for Corecursion.- Manifest Fields and Module Mechanisms in Intensional Type Theory.- A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq.- Coalgebraic Reasoning in Coq: Bisimulation and the ?-Coiteration Scheme.- A Process-Model for Linear Programs.- Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets.
< pour archiver...