- 5 resultados
menor preço: € 42.79, preço mais alto: € 89.99, preço médio: € 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
Encomendar
no/na hive.co.uk
£ 38.24
(aproximadamente € 43.32)
EncomendarLink patrocinado
Leonid Rukhovets:

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

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… mais…

No. 9783540681038. Custos de envio:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., mais custos de envio
2
Encomendar
no/na ebooks.com
€ 89.99
EncomendarLink patrocinado

50-99.99:

Types for Proofs and Programs - nuovo livro

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… mais…

new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio
3
Types for Proofs and Programs
Encomendar
no/na Springer.com
€ 42.79
Envio: € 0.001
EncomendarLink patrocinado
Types for Proofs and Programs - nuovo livro

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… mais…

Nr. 978-3-540-68103-8. Custos de envio:Worldwide free shipping, , plus shipping costs. (EUR 0.00)
4
Types for Proofs and Programs - Furio Honsell; Marino Miculan; Ivan Scagnetto
Encomendar
no/na lehmanns.de
€ 64.94
Envio: € 0.001
EncomendarLink patrocinado
Furio Honsell; Marino Miculan; Ivan Scagnetto:
Types for Proofs and Programs - nuovo livro

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… mais…

Custos de envio:Download sofort lieferbar. (EUR 0.00)
5
Types for Proofs and Programs
Encomendar
no/na eBook.de
€ 53.49
Envio: € 0.001
EncomendarLink patrocinado
Types for Proofs and Programs - nuovo livro

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… mais…

Custos de envio:in stock, , , DE. (EUR 0.00)

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro

Dados detalhados do livro - Types for Proofs and Programs


EAN (ISBN-13): 9783540681038
ISBN (ISBN-10): 3540681035
Livro de bolso
Ano de publicação: 2008
Editor/Editora: Springer Berlin Heidelberg
Língua: eng/Englisch

Livro na base de dados desde 2008-06-21T18:44:46-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-01-06T12:22:00-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540681038

Número ISBN - Ortografia alternativa:
3-540-68103-5, 978-3-540-68103-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: honsell, marino
Título do livro: proofs and types, cividale del friuli, papers, two types


Dados da editora

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
Editora: Springer; Springer Berlin
203 Páginas
Ano de publicação: 2008-05-07
Berlin; Heidelberg; DE
Língua: 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 arquivar...