Darmowa dostawa dla zamówień powyżej 299,00 zł.

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 05274523
Price: 218.69 PLN
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

Język

Angielski

Książka Miękka

Kod Libristo: 05274523

Wydawnictwo Springer, Berlin, listopad 1994

This book presents a strictly refereed collection of revised full papers selected from the papers ac... Cały opis

Kod Libristo: 05274523

125 b

218.69 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Gömülü Samdan Stefan Zweig

Miękka

43.19 zł

Waylon university. La sfida Ilsa Madden-Mills

Miękka

110.54 zł

O Principezinho de Saint-Exupéry Antoine

Miękka

47.60 zł

Mein 24. Dezember Daniela Kunerl

Karta

83.78 zł

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

Miękka

259.28 zł

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

Miękka

91.30 zł

NEW SUMMER ENGLISH 6§EP SB+CD 09

Miękka

96.91 zł

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

Miękka

62.93 zł

LE GUIDE DU PREMIER TATOUAGE TATTOO

Miękka

97.11 zł

ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN

binding.

255.07 zł

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

Miękka

121.57 zł

Lyrikanalyse Natascha Bea

Miękka

61.03 zł

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

Twarda

87.99 zł

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

Miękka

162.36 zł

Edemocracy & Egovernment Andreas Meier

Miękka

180.00 zł

Correr, comer, vivir SCOTT JUREK

Miękka

79.77 zł

Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen

Twarda

23.95 zł

Asturiana Susaeta

Miękka

35.67 zł

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

Miękka

55.12 zł

Grundlagen elektrischer Betriebsmittel Heinrich Hübscher

Miękka

93.10 zł

Elisa und der Schatten Napoleons Christine Fischer

Miękka

53.71 zł

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

Miękka

185.21 zł

Kurz odblokování čaker Ega Rasch

Twarda

41.08 zł

Charlie se convierte en T-Rex SAM COPELAND

Twarda

90.59 zł

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.