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…
hive.co.uk No. 9783540681038. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
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…
ebooks.com new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
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…
Springer.com Nr. 978-3-540-68103-8. Frais d'envoiWorldwide free shipping, , plus shipping costs. (EUR 0.00) Details... |
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…
lehmanns.de Frais d'envoiDownload sofort lieferbar. (EUR 0.00) Details... |
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…
eBook.de Frais d'envoiin stock, , , DE. (EUR 0.00) Details... |
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…
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…
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…
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…
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…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540391852 Types for Proofs and Programs (Herman Geuvers; Freek Wiedijk)
- 9783540391852 Types for Proofs and Programs (Herman Geuvers; Freek Wiedijk)
- 9783540221647 Types for Proofs and Programs (Berardi, Stefano Coppo, Mario Damiani, Ferruccio)
- 9783540140313 Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Herman Geuv (Herman Geuvers; Freek Wiedijk)
< pour archiver...