Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Types for Proofs and Programs

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

Thorsten Altenkirch

Conor McBride

Język

Angielski

Książka Miękka

Kod Libristo: 01569105

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2007

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Cały opis

Kod Libristo: 01569105

154 b

263.20 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

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

/ Miękka

263.20 zł

Bugs! Bugs! Bugs! Activity Book Tallarico

/ Miękka

24.97 zł

Aristotle in China Robert Wardy

/ Miękka

233.10 zł

Metropolis and Hinterland Neville Morley

/ Twarda

550.08 zł

Atomicity and Quanta James Jeans

/ Miękka

180.54 zł

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.

Informacje o książce

Pełna nazwa Types for Proofs and Programs

Autor Thorsten Altenkirch, Conor McBride

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2007

Liczba stron 272

EAN 9783540744634

ISBN 3540744630

Kod Libristo 01569105

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

Waga 900

Wymiary 155 x 235 x 18

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Dostawa

Doradca ds. zakupów