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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Types for Proofs and Programs

International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Types for Proofs and Programs Peter Dybjer
Libristo-code: 05274523
Uitgeverij Springer, Berlin, november 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Volledige beschrijving
? points 141 b
58.57 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Gömülü Samdan Stefan Zweig / Boek Gebonden (paperback)
common.buy 10.23 €
Waylon university. La sfida Ilsa Madden-Mills / Boek Gebonden (paperback)
common.buy 26.14 €
O Principezinho de Saint-Exupéry Antoine / Boek Gebonden (paperback)
common.buy 11.24 €
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Boek Gebonden (paperback)
common.buy 70.02 €
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Boek Gebonden (paperback)
common.buy 18.84 €
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Boek Gebonden (paperback)
common.buy 23.00 €
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Boek Gebonden (paperback)
common.buy 14.89 €
LE GUIDE DU PREMIER TATOUAGE TATTOO / Boek Gebonden (paperback)
common.buy 23.00 €
ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN / Boek binding.
common.buy 60.39 €
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Boek Gebonden (paperback)
common.buy 28.77 €
Lyrikanalyse Natascha Bea / Boek Gebonden (paperback)
common.buy 14.48 €
Время гладить кошек Ринат Валиуллин / Boek Gebonden (harde band)
common.buy 17.52 €
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Boek Gebonden (harde band)
common.buy 20.87 €
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Boek Gebonden (paperback)
common.buy 38.40 €
Edemocracy & Egovernment Andreas Meier / Boek Gebonden (paperback)
common.buy 48.33 €
Correr, comer, vivir SCOTT JUREK / Boek Gebonden (paperback)
common.buy 18.84 €
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Boek Gebonden (harde band)
common.buy 6.98 €
Asturiana Susaeta / Boek Gebonden (paperback)
common.buy 8.40 €
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Boek Gebonden (paperback)
common.buy 13.06 €
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Boek Gebonden (paperback)
common.buy 21.98 €
Elisa und der Schatten Napoleons Christine Fischer / Boek Gebonden (paperback)
common.buy 31.51 €
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Boek Gebonden (paperback)
common.buy 50.05 €
Kurz odblokování čaker Ega Rasch / Boek Gebonden (harde band)
common.buy 9.72 €
Die vierte Transformation des öffentlichen Gesundheitswesens in Mexiko in der Covid-19-Ära María Luisa Quintero Soto / Boek Gebonden (paperback)
common.buy 44.58 €

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.

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 Peter Dybjer, Bengt Nordström, Jan Smith
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1995
Aantal pagina's 210
EAN 9783540605799
ISBN 3540605797
Libristo-code 05274523
Uitgeverij Springer, Berlin
Gewicht 294
Afmetingen 155 x 233 x 12

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
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

Automotive Traveler's Classic Car: Premiere Issue Richard Truesdell / Boek Gebonden (paperback)
common.buy 19.35 €
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Boek Gebonden (paperback)
common.buy 7.69 €
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Boek Gebonden (paperback)
common.buy 9.92 €
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Boek Gebonden (paperback)
common.buy 27.86 €
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Boek Gebonden (paperback)
common.buy 19.35 €
TOP
No Period. Now What? Nicola J Rinaldi / Boek Gebonden (paperback)
common.buy 26.95 €
NIV Holy Bible (Hodder Classics) New International Version / Boek Gebonden (paperback)
common.buy 7.69 €
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Boek Gebonden (paperback)
common.buy 37.39 €
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Boek Gebonden (paperback)
common.buy 11.24 €
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Boek Gebonden (paperback)
common.buy 7.69 €
How to clerk a track meet MR G K Butts / Boek Gebonden (paperback)
common.buy 14.89 €
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Boek Gebonden (paperback)
common.buy 17.52 €
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Boek Gebonden (paperback)
common.buy 15.70 €
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Boek Gebonden (paperback)
common.buy 23.91 €
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Boek Gebonden (harde band)
common.buy 37.89 €
Introduction to Quantized Fields Christopher James Bostock / Boek Gebonden (harde band)
common.buy 65.26 €
No More Peanuts for Ellie the Elephant: A Children's Book on Peanut Allergy Awareness Mel Schroeder / Boek Gebonden (paperback)
common.buy 7.69 €
Nieuw
The Idea of China Guoqi Xu / Boek Gebonden (harde band)
common.buy 36.68 €
Bali Travel Map Tenth Edition Periplus Editions / Drukwerk Kaart
common.buy 7.69 €
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Boek Gebonden (harde band)
common.buy 23.20 €
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Boek Gebonden (paperback)
common.buy 9.01 €
BETTER BROKEN ROGERS SEAN J / Boek Gebonden (harde band)
common.buy 28.57 €
Popularmmos Presents the End of All the Things Danielle Jones / Boek Gebonden (paperback)
common.buy 12.86 €
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Luisterboek MP3
common.buy 17.62 €

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?