031 22 95 182 poimâine de la ora 8.00.

Transport gratuit la punctele de livrare Pick Up peste 299 lei

Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569105
Price: 324 RON
Availability: InStock

Thorsten Altenkirch

Conor McBride

Limba

engleză

Carte Carte broșată

Codul Libristo: 01569105

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2007

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Descrierea completă

Codul Libristo: 01569105

161 b

324 lei

În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Internet of Things, Smart Spaces, and Next Generation Networking Sergey Andreev

/ Carte broșată

324 lei

Metropolis and Hinterland Neville Morley

/ Copertă tare

678 lei

Bugs! Bugs! Bugs! Activity Book Tallarico

/ Carte broșată

31 lei

Atomicity and Quanta James Jeans

/ Carte broșată

221 lei

Aristotle in China Robert Wardy

/ Carte broșată

287 lei

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006.§The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. All current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Informații despre carte

Titlu complet Types for Proofs and Programs

Autor Thorsten Altenkirch, Conor McBride

Limba

engleză

Legare Carte - Carte broșată

Data publicării 2007

Număr pagini 272

EAN 9783540744634

ISBN 3540744630

Codul Libristo 01569105

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutatea 900

Dimensiuni 155 x 235 x 18

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer science > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

Dăruiește această carte chiar astăzi

Este foarte ușor

1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Livrare

Consilier de cumpărături