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 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.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 '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Types for Proofs and Programs Henk Barendregt
Libristo kod: 05274389
Nakladnici Springer, Berlin, studeni 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

MOLLERUSSA YEGUAS I GASSO / Knjiga Meki uvez
common.buy 10.93 €
Golem Elvire Murail / Knjiga Meki uvez
common.buy 26.42 €
Glaces Hakim / Knjiga Meki uvez
common.buy 28.65 €
Bakuman - Tome 13 Takeshi Obata / Knjiga Meki uvez
common.buy 10.12 €
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalendar/Rokovnik Kalendar
common.buy 30.07 €
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Knjiga Meki uvez
common.buy 9.41 €
Animales del páramo David Rodríguez / Knjiga Meki uvez
common.buy 21.56 €
Irreverente PILAR MARTIN PEREZ / Knjiga Meki uvez
common.buy 15.79 €
Über Leben Reinhold Messner / Knjiga Tvrdi uvez
common.buy 21.97 €
CI Vorrebbe Un Amico Mario Boccia / Knjiga Meki uvez
common.buy 10.32 €
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Knjiga Meki uvez
common.buy 18.63 €
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Knjiga Meki uvez
common.buy 16.20 €
Aguas azules para una batalla Fabra / Audio knjiga MP3
common.buy 9.00 €
Jean-Claude Juncker Margaretha Kopeinig / E-knjiga Adobe ePub DRM
common.buy 15.59 €
La Revista Moderna, Volumes 1-2... Martín Aldao / Knjiga Tvrdi uvez
common.buy 39.29 €
Rocker Devil. Slide und Ellen Bärbel Muschiol / Knjiga Meki uvez
common.buy 11.84 €
Pathogenese und Klinik der Harnsteine G. Gasser / Knjiga Meki uvez
common.buy 51.95 €
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Knjiga Meki uvez
common.buy 11.33 €
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio Audio CD
common.buy 12.45 €
Management von Netzwerkorganisationen Jörg Sydow / Knjiga Meki uvez
common.buy 77.17 €
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Knjiga Meki uvez
common.buy 19.64 €
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Knjiga Meki uvez
common.buy 16.20 €
Fundamentos físicos de la edificación Blasco Laffón / Knjiga Meki uvez
common.buy 42.83 €
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Audio Audio CD
common.buy 28.35 €

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

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 Henk Barendregt, Tobias Nipkow
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 395
EAN 9783540580850
ISBN 3540580859
Libristo kod 05274389
Nakladnici Springer, Berlin
Težina 526
Dimenzije 155 x 233 x 21

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Knjiga Meki uvez
common.buy 29.87 €
Lambda Calculus with Types Henk Barendregt / Knjiga Tvrdi uvez
common.buy 109.68 €
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Knjiga Meki uvez
common.buy 19.33 €
Mardi Gras Rebecca Pettiford / Knjiga Tvrdi uvez
common.buy 11.03 €
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Knjiga Meki uvez
common.buy 57.11 €
Against Distance Peter Makuck / Knjiga Meki uvez
common.buy 11.33 €
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Knjiga Meki uvez
common.buy 24.70 €
The Mystic Youth Of Jesus Yogi Ramacharaka / Knjiga Meki uvez
common.buy 18.42 €
Unfreezing the Arctic Andrew Stuhl / Knjiga Tvrdi uvez
common.buy 42.73 €
Pop-Up Robert Wernli / Knjiga Meki uvez
common.buy 22.37 €
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Knjiga Tvrdi uvez
common.buy 223.32 €
Top
To Be Read at Dusk Charles Dickens / Knjiga Meki uvez
common.buy 3.64 €
Testimonies of His Love Lisa N Aldridge - Jones / Knjiga Meki uvez
common.buy 14.37 €
History of Modern Morocco Susan Gilson Miller / Knjiga Tvrdi uvez
common.buy 107.76 €
All Things New 2015 - 2016 Wayne Fowler / Knjiga Tvrdi uvez
common.buy 34.83 €
Povoljno
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Knjiga Meki uvez
common.buy 16.20 €
Ama Betty Hallock / Knjiga Tvrdi uvez
common.buy 23.18 €
Hiawatha Passing JEFF HAGEN / Knjiga Meki uvez
common.buy 17.92 €
Out of the Dark Gregg Hurwitz / Knjiga Meki uvez
common.buy 11.84 €
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Knjiga Meki uvez
common.buy 165.69 €
Toll Road Girls 7 J Ware / Knjiga Meki uvez
common.buy 7.99 €
Top
Your Whole Body Misha Iver / Knjiga Meki uvez
common.buy 14.88 €
Mad about Shakespeare: From Classroom to Theatre to Emergency Room Jonathan Bate / E-knjiga Adobe ePub DRM
common.buy 9.41 €
Povoljno
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich / Knjiga Meki uvez
common.buy 6.78 €

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?