571 999 090 8.00—15.30.

Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 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: 05274523
Price: 1681 CZK
Availability: InStock

Peter Dybjer

Bengt Nordström

Jan Smith

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274523

Nakladatelství Springer, Berlin, listopadu 1994

This book presents a strictly refereed collection of revised full papers selected from the papers ac... Celý popis

Libristo kód: 05274523

168 b

1 681 Kč

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

30 dní na vrácení zboží

Mohlo by vás také zajímat

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

/ Pevná

2 220 Kč

Aunt Jo's Scrap-Bag Louisa May Alcott

/ Brožovaná

609 Kč

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

/ Brožovaná

1 712 Kč

Mein 24. Dezember Daniela Kunerl

/ List

527 Kč

Schritt für Schritt zum erfolgreichen Drehbuch Christopher Keane

/ Pevná

649 Kč

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.

Informace o knize

Plný název Types for Proofs and Programs

Autor Peter Dybjer, Bengt Nordström, Jan Smith

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1995

Počet stran 210

EAN 9783540605799

ISBN 3540605797

Libristo kód 05274523

Nakladatelství Springer, Berlin

Váha 294

Rozměry 155 x 233 x 12

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