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

Logic Program Synthesis and Transformation

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic Program Synthesis and Transformation Maurizio Proietti
Libristo kód: 05274555
Nakladatelství Springer, Berlin, listopadu 1995
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy... 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

Porsche 911 Carrera Service Manual 1995-1998 Bentley Publishers / Pevná
common.buy 5 286 Kč
Trading Risk - Enhanced Profitability Through Risk Control Kenneth L. Grant / Pevná
common.buy 1 896 Kč
Beyond the Asterisk / Brožovaná
common.buy 1 399 Kč
Modern Capitalist Culture Leslie A. White / Pevná
common.buy 5 310 Kč
Studies in Plato and the Platonic Tradition Mark Joyal / Pevná
common.buy 4 944 Kč
Open Wounds 0863 Helsinki / Brožovaná
common.buy 416 Kč
Auditing and Accounting Cases: Investigating Issues of Fraud and Professional Ethics (Int'l Ed) Deborah Freier / Brožovaná
common.buy 2 277 Kč

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

Informace o knize

Plný název Logic Program Synthesis and Transformation
Autor Maurizio Proietti
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1996
Počet stran 274
EAN 9783540609391
ISBN 3540609393
Libristo kód 05274555
Nakladatelství Springer, Berlin
Váha 378
Rozměry 156 x 234 x 15

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í > 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 > 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
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