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 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Types for Proofs and Programs

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

Język AngielskiAngielski
Książka Miękka
Książka Types for Proofs and Programs Henk Barendregt
Kod Libristo: 05274389
Wydawnictwo Springer, Berlin, listopad 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Cały opis
? points 125 b
224.29 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

CI Vorrebbe Un Amico Mario Boccia / Książka Miękka
common.buy 44.85 zł
Über Leben Reinhold Messner / Książka Twarda
common.buy 108.98 zł
Cuaderno de Ortografía Cantada: 6º de primaria. Método ideográfico y audiovisual (enseñanza basada e Álamo Vaquera / Książka Pierścieniowa
common.buy 102.76 zł
Pneumonologie -- Pneumonology F. Mlczoch / Książka Miękka
common.buy 230.62 zł
Irreverente PILAR MARTIN PEREZ / Książka Miękka
common.buy 68.64 zł
MOLLERUSSA YEGUAS I GASSO / Książka Miękka
common.buy 49.07 zł
Animales del páramo David Rodríguez / Książka Miękka
common.buy 97.34 zł
Glaces Hakim / Książka Miękka
common.buy 124.84 zł
Construccion Social de La Ensenanza; Una Aproximacion Antropologica Juan Jesús Velasco Orozco / Książka Miękka
common.buy 189.97 zł
Jean-Claude Juncker Margaretha Kopeinig / E-book Adobe ePub DRM
common.buy 71.60 zł
La Revista Moderna, Volumes 1-2... Martín Aldao / Książka Twarda
common.buy 170.40 zł
Folgenreiche Begegnungen mit der Polizei Svenja Keitzel / Książka Miękka
common.buy 136.08 zł
Aguas azules para una batalla Fabra / Audiobook MP3
common.buy 41.66 zł
Dents de lait Rosie Alias / Książka Miękka
common.buy 29.80 zł
Zapowiedź
Star Wars X-Wing 2. Edition, TIE-x1-Turbojäger / Gra/Zabawka Gra
common.buy 120.32 zł
The Ragpicker's Dream Mark Knopfler / Audio CD Audio
common.buy 46.66 zł
Mademoiselle Fifi Guy De Maupassant / Książka Miękka
common.buy 39.71 zł
Fundamentos físicos de la edificación Blasco Laffón / Książka Miękka
common.buy 193.58 zł
Bruno und ich - Deutsch für Kinder - Band 3. Bd.3 Dagmar Grave / Książka Miękka
common.buy 34.31 zł
Salud Mental en niños con LLA Cecilia Caniza / Książka Miękka
common.buy 154.84 zł
Comment Guerir Les Maladies de l'Aplomb Goh-C / Książka Miękka
common.buy 63.42 zł
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Książka Miękka
common.buy 88.71 zł
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Książka Miękka
common.buy 36.62 zł
Politica externa e instituicoes democraticas no governo Lula Dhiego de Moura Mapa / Książka Miękka
common.buy 216.56 zł

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.

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 Henk Barendregt, Tobias Nipkow
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 395
EAN 9783540580850
ISBN 3540580859
Kod Libristo 05274389
Wydawnictwo Springer, Berlin
Waga 526
Wymiary 155 x 233 x 21

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 > 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) > Informatyka (nauka) > Sztuczna inteligencja
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ć

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Książka Miękka
common.buy 112.39 zł
Lambda Calculus with Types Henk Barendregt / Książka Twarda
common.buy 489.24 zł
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Książka Miękka
common.buy 83.85 zł
Against Distance Peter Makuck / Książka Miękka
common.buy 45.45 zł
How to Instantly Overcome Depression: No medication required! Mrs Fanicia Williams / Książka Miękka
common.buy 44.85 zł
Civilized America. Volume 2 of 2 Thomas Colley Grattan / Książka Miękka
common.buy 120.99 zł
All Things New 2015 - 2016 Wayne Fowler / Książka Twarda
common.buy 158.05 zł
Mardi Gras Rebecca Pettiford / Książka Twarda
common.buy 47.96 zł
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Książka Miękka
common.buy 225.70 zł
Billy Topsail, M.D. Norman Duncan / Książka Miękka
common.buy 44.85 zł
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Książka Miękka
common.buy 90.51 zł
Elbert County, Georgia Aurolyn Melba Hamm / Książka Miękka
common.buy 92.62 zł
Unfreezing the Arctic Andrew Stuhl / Książka Twarda
common.buy 198.10 zł
Pop-Up Robert Wernli / Książka Miękka
common.buy 84.89 zł
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Książka Twarda
common.buy 1 041.12 zł
To Be Read at Dusk Charles Dickens / Książka Miękka
common.buy 20.77 zł
Drillmaster's Platoon/Flight & Drill Team Coach's Field Manual John Marshall / Książka Miękka
common.buy 121.63 zł
History of Modern Morocco Susan Gilson Miller / Książka Twarda
common.buy 467.66 zł
Machining of die steel- H11 using EDM electrode Tarun Goyal / Książka Miękka
common.buy 139.49 zł
Tanie
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Książka Miękka
common.buy 68.23 zł
Ama Betty Hallock / Książka Twarda
common.buy 100.35 zł
Hiawatha Passing JEFF HAGEN / Książka Miękka
common.buy 79.88 zł
Out of the Dark Gregg Hurwitz / Książka Miękka
common.buy 51.37 zł
Zapowiedź
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Książka Miękka
common.buy 716.96 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?