phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Types for Proofs and Programs

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Types for Proofs and Programs Henk Barendregt
Libristo kód: 05274389
Nakladatelství Springer, Berlin, listopadu 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Finnegans Wake James Joyce / Brožovaná
common.buy 337 Kč
TOP
Utopia Thomas More / Brožovaná
common.buy 120 Kč
TOP
To Be Read at Dusk Charles Dickens / Brožovaná
common.buy 83 Kč
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Brožovaná
common.buy 904 Kč
Lambda Calculus with Types Henk Barendregt / Pevná
common.buy 2 636 Kč
Připravujeme
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Brožovaná
common.buy 625 Kč
Über Leben Reinhold Messner / Pevná
common.buy 555 Kč
The Mystic Youth Of Jesus Yogi Ramacharaka / Brožovaná
common.buy 491 Kč
Extrait Des Reglemens d'Octobre 1735, Qui Ordonnent La Consignation Des Amendes, Et Le Recouvrement France / Brožovaná
common.buy 416 Kč
London's Underworld Thomas Holmes / Brožovaná
common.buy 622 Kč
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio CD
common.buy 331 Kč
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Brožovaná
common.buy 515 Kč
Management von Netzwerkorganisationen Jörg Sydow / Brožovaná
common.buy 2 043 Kč
Festliche Eröffnungssitzung und gemeinsame Schlusssitzung Rechtspolitisches Forum Claus Staringer / Brožovaná
common.buy 342 Kč
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Brožovaná
common.buy 1 013 Kč

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

Informace o knize

Plný název Types for Proofs and Programs
Autor Henk Barendregt, Tobias Nipkow
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1994
Počet stran 395
EAN 9783540580850
ISBN 3540580859
Libristo kód 05274389
Nakladatelství Springer, Berlin
Váha 526
Rozměry 155 x 233 x 21

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet