Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Types for Proofs and Programs

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

Thorsten Altenkirch

Conor McBride

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01569105

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, října 2007

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Celý popis

Libristo kód: 01569105

154 b

1 540 Kč včetně DPH

Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

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

/ Brožovaná

1 540 Kč

Bugs! Bugs! Bugs! Activity Book Tallarico

/ Brožovaná

155 Kč

Aristotle in China Robert Wardy

/ Brožovaná

1 364 Kč

Metropolis and Hinterland Neville Morley

/ Pevná

3 218 Kč

Atomicity and Quanta James Jeans

/ Brožovaná

1 056 Kč

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.

Informace o knize

Plný název Types for Proofs and Programs

Autor Thorsten Altenkirch, Conor McBride

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2007

Počet stran 272

EAN 9783540744634

ISBN 3540744630

Libristo kód 01569105

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 900

Rozměry 155 x 235 x 18

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Informatika > Umělá inteligence

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Doručení

Nákupní rádce