- 5 resultaten
laagste prijs: € 42,79, hoogste prijs: € 89,99, gemiddelde prijs: € 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
bestellen
bij hive.co.uk
£ 38,24
(ongeveer € 43,32)
bestellen
Details en verzending
Gesponsorde link
Leonid Rukhovets:

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

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… Meer...

No. 9783540681038. Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
2
bestellen
bij ebooks.com
€ 89,99
bestellen
Details en verzending
Gesponsorde link

50-99.99:

Types for Proofs and Programs - nieuw boek

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… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
3
Types for Proofs and Programs
bestellen
bij Springer.com
€ 42,79
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Types for Proofs and Programs - nieuw boek

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… Meer...

Nr. 978-3-540-68103-8. Verzendingskosten:Worldwide free shipping, , plus shipping costs. (EUR 0.00)
dichtslaan (X)
4
Types for Proofs and Programs - Furio Honsell; Marino Miculan; Ivan Scagnetto
bestellen
bij lehmanns.de
€ 64,94
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Furio Honsell; Marino Miculan; Ivan Scagnetto:
Types for Proofs and Programs - nieuw boek

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… Meer...

Verzendingskosten:Download sofort lieferbar. (EUR 0.00)
dichtslaan (X)
5
Types for Proofs and Programs
bestellen
bij eBook.de
€ 53,49
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Types for Proofs and Programs - nieuw boek

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… Meer...

Verzendingskosten:in stock, , , DE. (EUR 0.00)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Types for Proofs and Programs
auteur:
Titel:
ISBN:

9783540681038

Gedetalleerde informatie over het boek. - Types for Proofs and Programs


EAN (ISBN-13): 9783540681038
ISBN (ISBN-10): 3540681035
pocket book
Verschijningsjaar: 2008
Uitgever: Springer Berlin Heidelberg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-06-21T23:44:46+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-01-06T16:22:00+01:00 (Amsterdam)
ISBN/EAN: 9783540681038

ISBN - alternatieve schrijfwijzen:
3-540-68103-5, 978-3-540-68103-8
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: honsell, marino
Titel van het boek: proofs and types, cividale del friuli, papers, two types

Gegevens van de uitgever

Auteur: Marino Miculan; Ivan Scagnetto; Furio Honsell
Titel: 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
Uitgeverij: Springer; Springer Berlin
203 Bladzijden
Verschijningsjaar: 2008-05-07
Berlin; Heidelberg; DE
Taal: Engels
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.
< naar Archief...