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č PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Logic Based Program Synthesis and Transformation

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic Based Program Synthesis and Transformation Sandro Etalle
Libristo kód: 01560821
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, června 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Haikyu!!, Vol. 14 Haruichi Furudate / Brožovaná
common.buy 205 Kč
Maze Runner James Dashner / Brožovaná
common.buy 299 Kč
Google Cloud Platform in Action John J. Geewax / Brožovaná
common.buy 1 603 Kč
Maltese Falcon Dashiell Hammett / Brožovaná
common.buy 254 Kč
Secret Kingdom: Magic Mountain Rosie Banks / Brožovaná
common.buy 170 Kč
Treasure Island and The Ebb-Tide Robert Louis Stevenson / Brožovaná
common.buy 223 Kč
Enterococcus faecalis / Pevná
common.buy 7 439 Kč
E-Myth Contractor Michael E. Gerber / Brožovaná
common.buy 429 Kč
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / Pevná
common.buy 4 127 Kč
Model-Based Reasoning in Science and Technology Lorenzo Magnani / Pevná
common.buy 6 578 Kč
Nuclear Weapons Counterproliferation Jack Garvey / Pevná
common.buy 4 608 Kč
Ma, I've Reached for the Moon an I'm Hittin the Stars Martha Long / Brožovaná
common.buy 494 Kč
Text Book of Boxing Jim Driscoll / Brožovaná
common.buy 522 Kč
Graph Based Representations in Pattern Recognition Edwin Hancock / Brožovaná
common.buy 1 681 Kč
English Auxiliaries Anthony R. Warner / Brožovaná
common.buy 1 344 Kč
From Understanding to Action Marco Keiner / Pevná
common.buy 3 313 Kč

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

Informace o knize

Plný název Logic Based Program Synthesis and Transformation
Autor Sandro Etalle
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2005
Počet stran 284
EAN 9783540266556
ISBN 3540266550
Libristo kód 01560821
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 450
Rozměry 155 x 235 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
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 > Počítačové programování/softwarové inženýrství
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