A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Logic-Based Program Synthesis and Transformation

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Logic-Based Program Synthesis and Transformation Michael Hanus
Libristo kód: 01649407
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, február 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International... Teljes leírás
? points 136 b
19 972 Ft
Beszállítói készleten Küldés 5-8 napon belül

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

A vásárlók ilyet vásároltak

Infiltration und Bodenfeuchte. Prozesse und Mechanismen der Versickerung. Wasserspeicherung in Böden und dessen Bedeutung für Pflanzen Antonio Salmeri / Könyv Puha kötésű
common.buy 6 294 Ft
Kultur ALS Naturgeschichte Christian Mehr / Könyv Kemény kötésű
common.buy 45 876 Ft
Abrege de la Philosophie de Gassendi Francois Bernier / Könyv Puha kötésű
common.buy 11 544 Ft
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Könyv Puha kötésű
common.buy 9 606 Ft
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Könyv Puha kötésű
common.buy 13 177 Ft
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Könyv Puha kötésű
common.buy 10 148 Ft
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Könyv Könyv
common.buy 2 737 Ft
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Könyv Puha kötésű
common.buy 10 839 Ft
Olcsón
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Könyv Puha kötésű
common.buy 6 781 Ft

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. §The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Logic-Based Program Synthesis and Transformation
Szerző Michael Hanus
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2009
Oldalszám 185
EAN 9783642005145
ISBN 3642005144
Libristo kód 01649407
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 308
Méretek 155 x 235 x 11

Kategória

Matematika és természettudomány > Matematika > Kalkulus és matematikai analízis > Numerikus analízis
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
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

Ezt is ajánljuk

Moses in America Melanie Jane Wright / Könyv Kemény kötésű
common.buy 39 624 Ft
Toplistás
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Könyv Puha kötésű
common.buy 4 736 Ft
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Könyv Puha kötésű
common.buy 95 542 Ft
Explorers on Black Ice Bridge Alex Bell / E-könyv Adobe ePub DRM
common.buy 2 704 Ft
Cinderella Is Dead Kalynn Bayron / Könyv Puha kötésű
common.buy 3 428 Ft
Lucky Per Henrik Pontoppidan / Könyv Kemény kötésű
common.buy 5 297 Ft
Imperator Anna Hackett / Könyv Puha kötésű
common.buy 4 675 Ft
Changing State Feminism J. Outshoorn / Könyv Puha kötésű
common.buy 41 020 Ft
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Könyv Puha kötésű
common.buy 6 971 Ft
A Dictionary of Christian Biography, Literature, Sects and Doctrines Hermogenes to Julianus V5 (LARGE PRINT EDITION) William Smith / Könyv Kemény kötésű
common.buy 26 224 Ft
Daughter of the Sword Steve Bein / Könyv Puha kötésű
common.buy 7 927 Ft
Sexual Dysfunction A R Markos / Könyv Kemény kötésű
common.buy 48 140 Ft
Disturbing Influence Julian Mitchell / Könyv Puha kötésű
common.buy 7 147 Ft
British America 1500-1800 Steven Sarson / Könyv Puha kötésű
common.buy 22 722 Ft

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
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?