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: 222.82 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

222.82 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

Gömülü Samdan Stefan Zweig

Miękka

44.00 zł

Vahi kuue paiku vahi kuue paiku. Vaata umbes kell kuus valvuri pintsaku paranduslappe Tõnu

Twarda

205.66 zł

Edemocracy & Egovernment Andreas Meier

Miękka

183.40 zł

Mein 24. Dezember Daniela Kunerl

Karta

85.36 zł

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

Miękka

304.41 zł

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

Miękka

81.28 zł

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

Miękka

165.43 zł

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

Twarda

89.45 zł

Waylon university. La sfida Ilsa Madden-Mills

Miękka

112.63 zł

Lyrikanalyse Natascha Bea

Miękka

62.18 zł

Suzanne Renaud Lucie Tučková

Twarda

54.22 zł

Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen

Twarda

24.40 zł

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

Miękka

66.68 zł

O Principezinho de Saint-Exupéry Antoine

Miękka

43.80 zł

Kurz odblokování čaker Ega Rasch

Twarda

41.86 zł

Cronovisore. Il nuovo mistero del Vaticano. La macchina del tempo François Brune

Miękka

112.63 zł

Correr, comer, vivir SCOTT JUREK

Miękka

81.07 zł

Grundlagen elektrischer Betriebsmittel Heinrich Hübscher

Miękka

94.86 zł

Elisa und der Schatten Napoleons Christine Fischer

Miękka

54.73 zł

Asturiana Susaeta

Miękka

32.26 zł

Assimil Arabisch ohne Mühe heute - Lehrbuch und 1 MP3-CD Assimil Gmbh

Twarda

364.56 zł

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

Miękka

57.89 zł

Delbrück-Festschrift Hans Delbruck

Miękka

111.91 zł

Ukrajinština - konverzace

Miękka

23.17 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.