- 5 Résultats
prix le plus bas: € 42,79, prix le plus élevé: € 89,99, prix moyen: € 58,91
1
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - Leonid Rukhovets
Commander
sur hive.co.uk
£ 38,24
(environ € 43,32)
CommanderLien sponsorisé
Leonid Rukhovets:

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - nouveau livre

2007, ISBN: 9783540681038

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.Th… Plus…

No. 9783540681038. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
2
Commander
sur ebooks.com
€ 89,99
CommanderLien sponsorisé

50-99.99:

Types for Proofs and Programs - nouveau livre

2007, ISBN: 9783540681038

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. T… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
3
Types for Proofs and Programs
Commander
sur Springer.com
€ 42,79
Envoi: € 0,001
CommanderLien sponsorisé
Types for Proofs and Programs - nouveau livre

2007

ISBN: 9783540681038

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. T… Plus…

Nr. 978-3-540-68103-8. Frais d'envoiWorldwide free shipping, , plus shipping costs. (EUR 0.00)
4
Types for Proofs and Programs - Furio Honsell; Marino Miculan; Ivan Scagnetto
Commander
sur lehmanns.de
€ 64,94
Envoi: € 0,001
CommanderLien sponsorisé
Furio Honsell; Marino Miculan; Ivan Scagnetto:
Types for Proofs and Programs - nouveau livre

2008, ISBN: 9783540681038

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], [ED: 2008], Sprin… Plus…

Frais d'envoiDownload sofort lieferbar. (EUR 0.00)
5
Types for Proofs and Programs
Commander
sur eBook.de
€ 53,49
Envoi: € 0,001
CommanderLien sponsorisé
Types for Proofs and Programs - nouveau livre

2007, ISBN: 9783540681038

Types for Proofs and Programs - International Conference TYPES 2007 Cividale del Friuli Italy May 2-5 2007 Revised Selected Papers: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathema… Plus…

Frais d'envoiin stock, , , DE. (EUR 0.00)

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

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


EAN (ISBN-13): 9783540681038
ISBN (ISBN-10): 3540681035
Livre de poche
Date de parution: 2008
Editeur: Springer Berlin Heidelberg
Langue: eng/Englisch

Livre dans la base de données depuis 2008-06-21T23:44:46+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-01-06T16:22:00+01:00 (Paris)
ISBN/EAN: 3540681035

ISBN - Autres types d'écriture:
3-540-68103-5, 978-3-540-68103-8
Autres types d'écriture et termes associés:
Auteur du livre: honsell, marino
Titre du livre: proofs and types, cividale del friuli, papers, two types


Données de l'éditeur

Auteur: Marino Miculan; Ivan Scagnetto; Furio Honsell
Titre: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Types for Proofs and Programs - International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Editeur: Springer; Springer Berlin
203 Pages
Date de parution: 2008-05-07
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VII, 203 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; 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; C; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Symbolic and Algebraic Manipulation; Artificial Intelligence; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Mathematik für Informatiker; Künstliche Intelligenz; BC

Algorithmic Equality in Heyting Arithmetic Modulo.- CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types.- Dependently Sorted Logic.- Finiteness in a Minimalist Foundation.- A Declarative Language for the Coq Proof Assistant.- Characterising Strongly Normalising Intuitionistic Sequent Terms.- Intuitionistic vs. Classical Tautologies, Quantitative Comparison.- In the Search of a Naive Type Theory.- Verification of the Redecoration Algorithm for Triangular Matrices.- A Logic for Parametric Polymorphism with Effects.- Working with Mathematical Structures in Type Theory.- On Normalization by Evaluation for Object Calculi.- Attributive Types for Proof Erasure.

< pour archiver...