Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Types for Proofs and Programs

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Types for Proofs and Programs Peter Dybjer
Koda Libristo: 05274523
Založba Springer, Berlin, november 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Celoten opis
? points 118 b
48.85 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Gömülü Samdan Stefan Zweig / Knjiga Mehka
common.buy 9.70 €
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Knjiga Trda
common.buy 18.40 €
Vahi kuue paiku vahi kuue paiku. Vaata umbes kell kuus valvuri pintsaku paranduslappe Tõnu / Knjiga Trda
common.buy 42.27 €
Suzanne Renaud Lucie Tučková / Knjiga Trda
common.buy 11.12 €
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Knjiga Mehka
common.buy 13.75 €
Waylon university. La sfida Ilsa Madden-Mills / Knjiga Mehka
common.buy 24.67 €
Kurz odblokování čaker Ega Rasch / Knjiga Trda
common.buy 9.09 €
Průvodce matematikou 2 Martina Palková / Knjiga Trda
common.buy 9.70 €
Mein 24. Dezember Daniela Kunerl / Knjiga Preglednica
common.buy 18.60 €
Asturiana Susaeta / Knjiga Mehka
common.buy 7.48 €
Assimil Arabisch ohne Mühe heute - Lehrbuch und 1 MP3-CD Assimil Gmbh / Knjiga Trda
common.buy 79.60 €
Diseno y construccion de algoritmos Alfonso Mancilla Herrera / E-knjiga Adobe ePub DRM
common.buy 9.40 €
Ukrajinština - konverzace / Knjiga Mehka
common.buy 4.74 €
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Knjiga Mehka
common.buy 16.78 €
Top
O Principezinho de Saint-Exupéry Antoine / Knjiga Mehka
common.buy 10.21 €
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Knjiga Mehka
common.buy 12.23 €
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Knjiga Mehka
common.buy 41.16 €
Die vierte Transformation des öffentlichen Gesundheitswesens in Mexiko in der Covid-19-Ära María Luisa Quintero Soto / Knjiga Mehka
common.buy 41.87 €
Correr, comer, vivir SCOTT JUREK / Knjiga Mehka
common.buy 17.39 €
SALVADOR RIAL, VICARI DEL CARDENAL DE LA PAU RAGUER I SUÑER / Knjiga Mehka
common.buy 18.81 €
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Knjiga Trda
common.buy 5.45 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Types for Proofs and Programs
Avtor Peter Dybjer, Bengt Nordström, Jan Smith
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1995
Število strani 210
EAN 9783540605799
ISBN 3540605797
Koda Libristo 05274523
Založba Springer, Berlin
Teža 294
Mere 155 x 233 x 12

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Knjiga Mehka
common.buy 26.49 €
Intelligence Analysis Fundamentals Patrick McGlynn / Knjiga Mehka
common.buy 90.73 €
Spanish for Everyone Junior: 5 Words a Day DK / Knjiga Mehka
common.buy 16.18 €
Practitioner's Guide to Account-Based Marketing Dave Munn / Knjiga Mehka
common.buy 46.83 €
Frenemies Emma Hart / Knjiga Mehka
common.buy 14.25 €
Food And Life (1920) Marion Florence Lansing / Knjiga Mehka
common.buy 24.67 €
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Knjiga Mehka
common.buy 35.50 €
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Knjiga Mehka
common.buy 7.27 €
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Knjiga Mehka
common.buy 9.40 €
Recombinant Protein Expression: Eukaryotic hosts Zvi Kelman / Knjiga Trda
common.buy 217.28 €
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Knjiga Mehka
common.buy 18.30 €
No Period. Now What? Nicola J Rinaldi / Knjiga Mehka
common.buy 25.58 €
NIV Holy Bible (Hodder Classics) New International Version / Knjiga Mehka
common.buy 7.17 €
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Knjiga Mehka
common.buy 10.71 €
An Introduction to Cold Regions Design: Mechanical J Paul Guyer / Knjiga Mehka
common.buy 26.09 €
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Knjiga Mehka
common.buy 7.27 €
How to clerk a track meet MR G K Butts / Knjiga Mehka
common.buy 14.05 €
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Knjiga Mehka
common.buy 16.58 €
Popularmmos Presents the End of All the Things Danielle Jones / Knjiga Mehka
common.buy 12.03 €
Pharmacy Technician Starter Guide James Relington / Knjiga Mehka
common.buy 11.52 €
Kmalu Novo
Gilmore Girls: The Official Autumn Festival Cookbook and Entertaining Guide Cassandra Reeder / Knjiga Trda
common.buy 23.26 €
The Idea of China Guoqi Xu / Knjiga Trda
common.buy 31.15 €
Bali Travel Map Tenth Edition Periplus Editions / Tiskani izdelki Zemljevid
common.buy 7.27 €
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Knjiga Trda
common.buy 21.74 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo