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

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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: 01559460
Price: 223.66 PLN
Availability: InStock
Author: Stefano Berardi
ISBN: 9783540221647

International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers

Stefano Berardi

Mario Coppo

Ferruccio Damiani

Język

Angielski

Książka Miękka

Kod Libristo: 01559460

Wydawnictwo Springer, Berlin, listopad 2003

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o... Cały opis

Kod Libristo: 01559460

125 b

223.66 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

Vinda do Kaiser H H Munro (Saki)

Miękka

44.68 zł

Gestión de recursos humanos SPECTOR

Książka

68.87 zł

Śmierć w rodzinie. Trudne sprawy. Przygody Fenka Dominika Gałka

Miękka

15.16 zł

Midnight Scandal Sex Neneko Narazaki

Miękka

36.48 zł

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy in April/May 2003.The 25 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Isabelle/Isar, PAF!, and Coq.