Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Types for Proofs and Programs Herman Geuvers
Kod Libristo: 01558109
Wydawnictwo Springer, Berlin, listopad 2002
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop... Cały opis
? points 125 b
224.06 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Petition, CI-Devant Chef Du Second Bataillon Du 92e Regiment d'Infanterie, Et Ancien Capitaine BEGG-G / Książka Miękka
common.buy 59.34 zł
Zákon neviny Michael Connelly / Książka Twarda
common.buy 60.88 zł

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002.§The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Coq and Isar/HOL.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Types for Proofs and Programs
Autor Herman Geuvers, Freek Wiedijk
Język Angielski
Oprawa Książka - Miękka
Data wydania 2003
Liczba stron 336
EAN 9783540140313
ISBN 354014031X
Kod Libristo 01558109
Wydawnictwo Springer, Berlin
Waga 485
Wymiary 155 x 235 x 18

Kategoria

Publikacje dla dzieci i młodzieży, edukacja > Materiały edukacyjne > Edukacja – matematyka, nauki ścisłe i technika > Edukacja – nauka i nauki przyrodnicze
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) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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

Mogłoby Cię także zainteresować

Bible and Ecology Richard Bauckham / Książka Miękka
common.buy 69.41 zł
Interactive Student Centered Learning Edward Spooner / Książka Miękka
common.buy 200.03 zł
Fan The Flame H William Berger / Książka Miękka
common.buy 126.50 zł
Ordnance Survey Memoirs of Ireland: Vol. 36: Parishes of Co. Londonderry XIV: 1833-4, 1836, 1839 Angelique Day / Książka Miękka
common.buy 87.99 zł
Digital Preservation Metadata for Practitioners Angela Dappert / Książka Miękka
common.buy 219.23 zł
The Wedding Guest Timothy Shay Arthur / Książka Miękka
common.buy 100.73 zł
Hiking the Columbia River Gorge Russ Schneider / Książka Miękka
common.buy 77.83 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?