Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Types for Proofs and Programs

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

Lingua IngleseInglese
Libro In brossura
Libro Types for Proofs and Programs Peter Dybjer
Codice Libristo: 05274523
Casa editrice Springer, Berlin, novembre 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Gömülü Samdan Stefan Zweig / Libro In brossura
common.buy 10.59 €
Waylon university. La sfida Ilsa Madden-Mills / Libro In brossura
common.buy 27.29 €
O Principezinho de Saint-Exupéry Antoine / Libro In brossura
common.buy 11.09 €
Mein 24. Dezember Daniela Kunerl / Libro Foglio
common.buy 20.69 €
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Libro In brossura
common.buy 63.89 €
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Libro In brossura
common.buy 18.59 €
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Libro In brossura
common.buy 22.69 €
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Libro In brossura
common.buy 14.69 €
LE GUIDE DU PREMIER TATOUAGE TATTOO / Libro In brossura
common.buy 23.69 €
ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN / Libro binding.
common.buy 59.59 €
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Libro In brossura
common.buy 29.59 €
Lyrikanalyse Natascha Bea / Libro In brossura
common.buy 15.09 €
Время гладить кошек Ринат Валиуллин / Libro Rigido
common.buy 18.29 €
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Libro Rigido
common.buy 21.59 €
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Libro In brossura
common.buy 40.09 €
Edemocracy & Egovernment Andreas Meier / Libro In brossura
common.buy 44.39 €
Correr, comer, vivir SCOTT JUREK / Libro In brossura
common.buy 18.59 €
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Libro Rigido
common.buy 5.89 €
Asturiana Susaeta / Libro In brossura
common.buy 8.29 €
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Libro In brossura
common.buy 13.69 €
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Libro In brossura
common.buy 22.79 €
Elisa und der Schatten Napoleons Christine Fischer / Libro In brossura
common.buy 13.29 €
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Libro In brossura
common.buy 45.79 €
Kurz odblokování čaker Ega Rasch / Libro Rigido
common.buy 10.19 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Types for Proofs and Programs
Autore Peter Dybjer, Bengt Nordström, Jan Smith
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1995
Numero di pagine 210
EAN 9783540605799
ISBN 3540605797
Codice Libristo 05274523
Casa editrice Springer, Berlin
Peso 294
Dimensioni 155 x 233 x 12

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Automotive Traveler's Classic Car: Premiere Issue Richard Truesdell / Libro In brossura
common.buy 20.09 €
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Libro In brossura
common.buy 7.99 €
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Libro In brossura
common.buy 10.29 €
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Libro In brossura
common.buy 28.79 €
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Libro In brossura
common.buy 20.09 €
I migliori
No Period. Now What? Nicola J Rinaldi / Libro In brossura
common.buy 27.89 €
NIV Holy Bible (Hodder Classics) New International Version / Libro In brossura
common.buy 8.09 €
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Libro In brossura
common.buy 38.69 €
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Libro In brossura
common.buy 11.69 €
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Libro In brossura
common.buy 7.99 €
How to clerk a track meet MR G K Butts / Libro In brossura
common.buy 15.39 €
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Libro In brossura
common.buy 18.19 €
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Libro In brossura
common.buy 16.29 €
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Libro In brossura
common.buy 24.79 €
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Libro Rigido
common.buy 39.69 €
In preparazione
Introduction to Quantized Fields Christopher James Bostock / Libro Rigido
common.buy 60.09 €
No More Peanuts for Ellie the Elephant: A Children's Book on Peanut Allergy Awareness Mel Schroeder / Libro In brossura
common.buy 7.99 €
Nuovi
The Idea of China Guoqi Xu / Libro Rigido
common.buy 38.19 €
Bali Travel Map Tenth Edition Periplus Editions / Pubblicazioni cartacee Mappa
common.buy 8.09 €
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Libro Rigido
common.buy 24.29 €
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Libro In brossura
common.buy 9.39 €
BETTER BROKEN ROGERS SEAN J / Libro Rigido
common.buy 28.19 €
Popularmmos Presents the End of All the Things Danielle Jones / Libro In brossura
common.buy 13.49 €
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Audiolibro MP3
common.buy 18.29 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?