phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Types for Proofs and Programs

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Types for Proofs and Programs Stefano Berardi
Libristo kód: 05274627
Kiadó Springer, Berlin, november 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Bones & All Camille DeAngelis / Puha kötésű
common.buy 4 393 Ft
Angel Face Barbie Latza Nadeau / Puha kötésű
common.buy 8 025 Ft
Praktikum pracovního práva Tomáš Tintěra / Puha kötésű
common.buy 3 667 Ft
Spanking at the Girl's Convent School Jacqui Knight / Puha kötésű
common.buy 5 461 Ft
Agentin mit Herz. Staffel.3, 5 DVDs Erwin Dumbrille / DVD
common.buy 7 557 Ft
hamarosan
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday Erhard Seiler / Kemény kötésű
common.buy 61 536 Ft
hamarosan
Religious Institutes and Catholic Culture in 19th- and 20th-Century Europe Urs Altermatt / Kemény kötésű
common.buy 25 511 Ft
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Puha kötésű
common.buy 24 126 Ft
Artesanias María Leonor Aguilar García / Puha kötésű
common.buy 14 272 Ft
What Did the Biblical Writers Know and When Did They Know it? Dever / Puha kötésű
common.buy 10 877 Ft
Talk Fiction Irene Kacandes / Puha kötésű
common.buy 17 123 Ft
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Puha kötésű
common.buy 26 453 Ft
Seeing Angels Emma Heathcote-James / Kemény kötésű
common.buy 12 368 Ft
Musikgeschichte(n) / binding.
common.buy 13 773 Ft
What Ministers Know Thomas M. Tanner / Kemény kötésű
common.buy 73 184 Ft
Spoken Natural Language Dialog Systems Ronnie W. Smith / Kemény kötésű
common.buy 55 053 Ft

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

Információ a könyvről

Teljes megnevezés Types for Proofs and Programs
Szerző Stefano Berardi, Mario Coppo
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1996
Oldalszám 298
EAN 9783540617808
ISBN 3540617809
Libristo kód 05274627
Kiadó Springer, Berlin
Súly 474
Méretek 156 x 234 x 16

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása