Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Types for Proofs and Programs

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

Limba englezăengleză
Carte Carte broșată
Carte Types for Proofs and Programs Peter Dybjer
Codul Libristo: 05274523
Editura Springer, Berlin, noiembrie 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Gömülü Samdan Stefan Zweig / Carte Carte broșată
common.buy 56.39 lei
Waylon university. La sfida Ilsa Madden-Mills / Carte Carte broșată
common.buy 144.80 lei
O Principezinho de Saint-Exupéry Antoine / Carte Carte broșată
common.buy 59.00 lei
Mein 24. Dezember Daniela Kunerl / Carte Foaie
common.buy 110.08 lei
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Carte Carte broșată
common.buy 339.55 lei
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Carte Carte broșată
common.buy 113.32 lei
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Carte Carte broșată
common.buy 120.30 lei
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Carte Carte broșată
common.buy 82.46 lei
LE GUIDE DU PREMIER TATOUAGE TATTOO / Carte Carte broșată
common.buy 120.51 lei
ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN / Carte binding.
common.buy 316.51 lei
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Carte Carte broșată
common.buy 150.85 lei
Lyrikanalyse Natascha Bea / Carte Carte broșată
common.buy 80.06 lei
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Carte Copertă tare
common.buy 109.14 lei
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Carte Carte broșată
common.buy 213.19 lei
Edemocracy & Egovernment Andreas Meier / Carte Carte broșată
common.buy 235.81 lei
Correr, comer, vivir SCOTT JUREK / Carte Carte broșată
common.buy 99.03 lei
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Carte Copertă tare
common.buy 31.27 lei
Asturiana Susaeta / Carte Carte broșată
common.buy 44.30 lei
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Carte Carte broșată
common.buy 72.76 lei
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Carte Carte broșată
common.buy 121.13 lei
Elisa und der Schatten Napoleons Christine Fischer / Carte Carte broșată
common.buy 70.57 lei
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Carte Carte broșată
common.buy 243.32 lei
Kurz odblokování čaker Ega Rasch / Carte Copertă tare
common.buy 54.31 lei
Charlie se convierte en T-Rex SAM COPELAND / Carte Copertă tare
common.buy 118.74 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Types for Proofs and Programs
Autor Peter Dybjer, Bengt Nordström, Jan Smith
Limba engleză
Legare Carte - Carte broșată
Data publicării 1995
Număr pagini 210
EAN 9783540605799
ISBN 3540605797
Codul Libristo 05274523
Editura Springer, Berlin
Greutatea 294
Dimensiuni 155 x 233 x 12

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Automotive Traveler's Classic Car: Premiere Issue Richard Truesdell / Carte Carte broșată
common.buy 106.54 lei
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Carte Carte broșată
common.buy 42.32 lei
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Carte Carte broșată
common.buy 54.52 lei
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Carte Carte broșată
common.buy 153.25 lei
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Carte Carte broșată
common.buy 106.54 lei
Top
No Period. Now What? Nicola J Rinaldi / Carte Carte broșată
common.buy 148.45 lei
Top
NIV Holy Bible (Hodder Classics) New International Version / Carte Carte broșată
common.buy 42.94 lei
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Carte Carte broșată
common.buy 205.37 lei
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Carte Carte broșată
common.buy 62.13 lei
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Carte Carte broșată
common.buy 42.32 lei
How to clerk a track meet MR G K Butts / Carte Carte broșată
common.buy 81.83 lei
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Carte Carte broșată
common.buy 96.63 lei
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Carte Carte broșată
common.buy 86.83 lei
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Carte Carte broșată
common.buy 131.77 lei
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Carte Copertă tare
common.buy 211.00 lei
Curând
Introduction to Quantized Fields Christopher James Bostock / Carte Copertă tare
common.buy 319.11 lei
No More Peanuts for Ellie the Elephant: A Children's Book on Peanut Allergy Awareness Mel Schroeder / Carte Carte broșată
common.buy 42.32 lei
Nou
The Idea of China Guoqi Xu / Carte Copertă tare
common.buy 192.34 lei
Bali Travel Map Tenth Edition Periplus Editions / Materiale tipărite Hartă
common.buy 42.94 lei
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Carte Copertă tare
common.buy 129.16 lei
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Carte Carte broșată
common.buy 49.93 lei
BETTER BROKEN ROGERS SEAN J / Carte Copertă tare
common.buy 160.02 lei
Popularmmos Presents the End of All the Things Danielle Jones / Carte Carte broșată
common.buy 71.82 lei
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Audiobook MP3
common.buy 92.67 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo