Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Types for Proofs and Programs

International Workshop, TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Types for Proofs and Programs Henk Barendregt
Koda Libristo: 05274389
Založba Springer, Berlin, november 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

MOLLERUSSA YEGUAS I GASSO / Knjiga Mehka
common.buy 10.42 €
Golem Elvire Murail / Knjiga Mehka
common.buy 25.21 €
Glaces Hakim / Knjiga Mehka
common.buy 27.34 €
Bakuman - Tome 13 Takeshi Obata / Knjiga Mehka
common.buy 9.71 €
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Koledar/Rokovnik Koledar
common.buy 28.35 €
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Knjiga Mehka
common.buy 8.80 €
Animales del páramo David Rodríguez / Knjiga Mehka
common.buy 20.55 €
Irreverente PILAR MARTIN PEREZ / Knjiga Mehka
common.buy 14.17 €
Über Leben Reinhold Messner / Knjiga Trda
common.buy 20.55 €
CI Vorrebbe Un Amico Mario Boccia / Knjiga Mehka
common.buy 9.81 €
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Knjiga Mehka
common.buy 17.82 €
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Knjiga Mehka
common.buy 15.28 €
Aguas azules para una batalla Fabra / Zvočnica MP3
common.buy 8.50 €
Jean-Claude Juncker Margaretha Kopeinig / E-knjiga Adobe ePub DRM
common.buy 14.78 €
La Revista Moderna, Volumes 1-2... Martín Aldao / Knjiga Trda
common.buy 37.36 €
Rocker Devil. Slide und Ellen Bärbel Muschiol / Knjiga Mehka
common.buy 11.13 €
Pathogenese und Klinik der Harnsteine G. Gasser / Knjiga Mehka
common.buy 49.11 €
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Knjiga Mehka
common.buy 10.83 €
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Zvok Zvočni CD
common.buy 11.64 €
Management von Netzwerkorganisationen Jörg Sydow / Knjiga Mehka
common.buy 72.91 €
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Knjiga Mehka
common.buy 18.73 €
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Knjiga Mehka
common.buy 15.28 €
Fundamentos físicos de la edificación Blasco Laffón / Knjiga Mehka
common.buy 40.91 €
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Zvok Zvočni CD
common.buy 26.93 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Types for Proofs and Programs
Avtor Henk Barendregt, Tobias Nipkow
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1994
Število strani 395
EAN 9783540580850
ISBN 3540580859
Koda Libristo 05274389
Založba Springer, Berlin
Teža 526
Mere 155 x 233 x 21

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

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

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?