Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 4.49 € DPD točka 3.99 € GLS Kurir 5.49 € GLS paketomat 4.49 € Hrvatska pošta 5.49 € Dostava Overseas 5.49 € Box Now 4.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Types for Proofs and Programs Paul Callaghan
Libristo kod: 01564126
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, veljača 2002
This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the... Cijeli opis
? points 118 b
48.64 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

GOGOA Nº 16 2017 / Knjiga Knjiga
common.buy 22.25 €
Le Roman De Brut, Volume 1... Robert Wace / Knjiga Meki uvez
common.buy 26.58 €
Energie rinnovabili da biomasse: rischi e opportunità. Coltivazioni, allevamenti, compost, biogas e agro-carburanti: analisi degli impatti ambientali. Giuseppe Zicari / Knjiga Meki uvez
common.buy 42.29 €
Traite Special de Photographie Villaume / Knjiga Meki uvez
common.buy 14.80 €
Santé et bien-etre dans votre verre Cinzia Trenchi / Knjiga Tvrdi uvez
common.buy 17.31 €
SIEBEN MARCHEN DER GEBRUDER GRIMM Knjiga binding.
common.buy 12.28 €
Matemáticas para aprender a pensar : el papel de las creencias en la resolución de problemas M. Luz . . . [et al. ] Callejo / Knjiga Meki uvez
common.buy 23.96 €

This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Types for Proofs and Programs
Autor Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2002
Broj stranica 248
EAN 9783540432876
ISBN 3540432876
Libristo kod 01564126
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 820
Dimenzije 155 x 233 x 15

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Medicine & Nursing > Medicine: general issues
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

GERMANIA Kenneth M. Simmons / Knjiga Meki uvez
common.buy 13.28 €
Moomin's Seek and Find Finger-Trail book Tove Jansson / Knjiga Leporelo
common.buy 9.05 €
Alphas Diane Rapp / Knjiga Meki uvez
common.buy 11.98 €
Patriot Dreams and Dreams of God C J Henning / Knjiga Meki uvez
common.buy 6.84 €
Bouquet of Birds 750 Piece Shaped Puzzle Galison / Igra/Igračka Igra
common.buy 15.70 €
The Transfiguration Subhashini Sumanasekara / Knjiga Meki uvez
common.buy 13.28 €
Top Novo
DK Morocco DK Travel / Knjiga Meki uvez
common.buy 16.81 €
Wigwam Stories Told By North American Indians Judd and Henook-Makhewe-Kelenaka / Knjiga Meki uvez
common.buy 18.32 €
Top
500 Owen's Defense Games Bill Wall / Knjiga Meki uvez
common.buy 10.57 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?