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

International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers

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

30 dni na zwrot towaru

Klienci kupili także

Vinda do Kaiser H H Munro (Saki) / Książka Miękka
common.buy 43.69 zł
Śmierć w rodzinie. Trudne sprawy. Przygody Fenka Dominika Gałka / Książka Miękka
common.buy 14.72 zł
Midnight Scandal Sex Neneko Narazaki / Książka Miękka
common.buy 35.87 zł

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy in April/May 2003.The 25 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 Isabelle/Isar, PAF!, and Coq.

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 Stefano Berardi, Mario Coppo, Ferruccio Damiani
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 412
EAN 9783540221647
ISBN 3540221646
Kod Libristo 01559460
Wydawnictwo Springer, Berlin
Waga 600
Wymiary 156 x 234 x 22

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
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) > Matematyczna teoria obliczeń
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

Mogłoby Cię także zainteresować

Theories of Group Behavior Brian Mullen / Książka Twarda
common.buy 385.06 zł
New Canadian Realisms Roberta Barker / Książka Miękka
common.buy 115.65 zł
Life on the Farm - Adventure with the Cats Dovie G. Therriault -. Bruder / Książka Miękka
common.buy 69.95 zł
RIGBY PM PLUS Rigby / Książka Miękka
common.buy 323.32 zł
The Law of Nations: Investigated in a Popular Manner: Addressed to the Farmers of the United States. William J Duane / Książka Miękka
common.buy 66.14 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