Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 05274523
Price: 19870 HUF
Availability: InStock
Author: Peter Dybjer
ISBN: 9783540605799

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

Peter Dybjer

Bengt Nordström

Jan Smith

Language

English

Book Paperback

Libristo code: 05274523

Publishers Springer, Berlin, November 1994

This book presents a strictly refereed collection of revised full papers selected from the papers ac... Full description

Libristo code: 05274523

136 b

19 870 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Gömülü Samdan Stefan Zweig

Paperback

3 922 Ft

Waylon university. La sfida Ilsa Madden-Mills

Paperback

10 069 Ft

O Principezinho de Saint-Exupéry Antoine

Paperback

3 982 Ft

Mein 24. Dezember Daniela Kunerl

Sheet

7 669 Ft

Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung

Paperback

23 603 Ft

JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami

Paperback

7 637 Ft

NEW SUMMER ENGLISH 6§EP SB+CD 09

Paperback

8 108 Ft

Los pájaros. Las ranas. Las asambleístas ARISTOFANES

Paperback

5 270 Ft

LE GUIDE DU PREMIER TATOUAGE TATTOO

Paperback

8 121 Ft

ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN

binding.

21 332 Ft

Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud

Paperback

10 170 Ft

Lyrikanalyse Natascha Bea

Paperback

5 588 Ft

DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare

Hardback

7 360 Ft

Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas

Paperback

14 854 Ft

Edemocracy & Egovernment Andreas Meier

Paperback

16 404 Ft

Correr, comer, vivir SCOTT JUREK

Paperback

6 834 Ft

Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen

Hardback

2 164 Ft

Asturiana Susaeta

Paperback

2 986 Ft

Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy

Paperback

4 785 Ft

Grundlagen elektrischer Betriebsmittel Heinrich Hübscher

Paperback

8 398 Ft

Elisa und der Schatten Napoleons Christine Fischer

Paperback

4 914 Ft

Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna

Paperback

16 944 Ft

Kurz odblokování čaker Ega Rasch

Hardback

3 572 Ft

Charlie se convierte en T-Rex SAM COPELAND

Hardback

8 251 Ft

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.