Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Types for Proofs and Programs

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Types for Proofs and Programs Henk Barendregt
Libristo-code: 05274389
Uitgeverij Springer, Berlin, november 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

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

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Types for Proofs and Programs
Auteur Henk Barendregt, Tobias Nipkow
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1994
Aantal pagina's 395
EAN 9783540580850
ISBN 3540580859
Libristo-code 05274389
Uitgeverij Springer, Berlin
Gewicht 526
Afmetingen 155 x 233 x 21

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

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

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?