Doprava zdarma se Zásilkovnou nad 1 299 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 05274627
Price: 1542 CZK
Availability: InStock

Stefano Berardi

Mario Coppo

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274627

Nakladatelství Springer, Berlin, listopadu 1995

This volume contains a refereed selection of revised full papers chosen from the contributions prese... Celý popis

Libristo kód: 05274627

154 b

1 542 Kč

Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Bones & All Camille DeAngelis

/ Brožovaná

297 Kč

Angel Face Barbie Latza Nadeau

/ Brožovaná

458 Kč

Praktikum pracovního práva Tomáš Tintěra

/ Brožovaná

225 Kč

Spanking at the Girl's Convent School Jacqui Knight

/ Brožovaná

319 Kč

Agentin mit Herz. Staffel.3, 5 DVDs Erwin Dumbrille

/ DVD

455 Kč

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

/ Pevná

3 910 Kč

Fundamental Phenomena in the Materials Sciences L. J. Bonis

/ Brožovaná

1 542 Kč

Religious Institutes and Catholic Culture in 19th- and 20th-Century Europe Urs Altermatt

/ Pevná

1 621 Kč

Artesanias María Leonor Aguilar García

/ Brožovaná

829 Kč

Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera

/ Brožovaná

1 400 Kč

Talk Fiction Irene Kacandes

/ Brožovaná

1 011 Kč

What Did the Biblical Writers Know and When Did They Know it? Dever

/ Brožovaná

616 Kč

Musikgeschichte(n)

/ binding.

872 Kč

What Ministers Know Thomas M. Tanner

/ Pevná

4 278 Kč

Seeing Angels Emma Heathcote-James

/ Pevná

774 Kč

Spoken Natural Language Dialog Systems Ronnie W. Smith

/ Pevná

3 227 Kč

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.

Informace o knize

Plný název Types for Proofs and Programs

Autor Stefano Berardi, Mario Coppo

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1996

Počet stran 298

EAN 9783540617808

ISBN 3540617809

Libristo kód 05274627

Nakladatelství Springer, Berlin

Váha 474

Rozměry 156 x 234 x 16

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

Matematika a věda > Matematika > Matematické základy > Matematická logika

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

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

Doručení

Nákupní rádce