- 5 Resultados
precio mínimo: € 42,79, precio máximo: € 89,99, precio promedio: € 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
Pedir
por hive.co.uk
£ 38,24
(aprox. € 43,32)
Pedir
Detalles y envío
Enlace patrocinado
Leonid Rukhovets:

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

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… Más…

No. 9783540681038. Gastos de envío:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., más gastos de envío
cerrar (X)
2
Pedir
por ebooks.com
€ 89,99
Pedir
Detalles y envío
Enlace patrocinado

50-99.99:

Types for Proofs and Programs - libro nuevo

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… Más…

new in stock. Gastos de envío:zzgl. Versandkosten., más gastos de envío
cerrar (X)
3
Types for Proofs and Programs
Pedir
por Springer.com
€ 42,79
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Types for Proofs and Programs - libro nuevo

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… Más…

Nr. 978-3-540-68103-8. Gastos de envío:Worldwide free shipping, , plus shipping costs. (EUR 0.00)
cerrar (X)
4
Types for Proofs and Programs - Furio Honsell; Marino Miculan; Ivan Scagnetto
Pedir
por lehmanns.de
€ 64,94
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Furio Honsell; Marino Miculan; Ivan Scagnetto:
Types for Proofs and Programs - libro nuevo

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… Más…

Gastos de envío:Download sofort lieferbar. (EUR 0.00)
cerrar (X)
5
Types for Proofs and Programs
Pedir
por eBook.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Types for Proofs and Programs - libro nuevo

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… Más…

Gastos de envío:in stock, , , DE. (EUR 0.00)
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Types for Proofs and Programs
Autor:
Título:
ISBN:

9783540681038

Detalles del libro - Types for Proofs and Programs


EAN (ISBN-13): 9783540681038
ISBN (ISBN-10): 3540681035
Tapa blanda
Año de publicación: 2008
Editorial: Springer Berlin Heidelberg
Idioma: eng/Englisch

Libro en la base de datos desde 2008-06-21T16:44:46-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-01-06T09:22:00-06:00 (Mexico City)
ISBN/EAN: 9783540681038

ISBN - escritura alterna:
3-540-68103-5, 978-3-540-68103-8
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: honsell, marino
Título del libro: proofs and types, cividale del friuli, papers, two types

Datos del la editorial

Autor: Marino Miculan; Ivan Scagnetto; Furio Honsell
Título: 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
Editorial: Springer; Springer Berlin
203 Páginas
Año de publicación: 2008-05-07
Berlin; Heidelberg; DE
Idioma: Inglés
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.
< para archivar...