Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Logic Based Program Synthesis and Transformation Alberto Pettorossi
Koda Libristo: 01564461
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julij 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... Celoten opis
? points 129 b
53.30 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 11-15 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Biochemisches Handlexikon Andor Fodor / Knjiga Mehka
common.buy 57.96 €
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Knjiga Mehka
common.buy 21.98 €
Les Reformes Sociales Dreux-A / Knjiga Mehka
common.buy 13.06 €
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Knjiga Mehka
common.buy 32.62 €
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Knjiga Mehka
common.buy 19.35 €
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Knjiga Mehka
common.buy 46.20 €
Kúpte si družičku! Jacqueline Wilsonová / Knjiga Mehka
common.buy 7.19 €
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Knjiga Mehka
common.buy 14.89 €
FARMERS MARKET - Una aplicación web / Knjiga Mehka
common.buy 36.98 €
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Knjiga Trda
common.buy 18.54 €
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Koledar/Rokovnik Koledar
common.buy 28.97 €
LEGO® Harry Potter™ Kouzelnická zábava / Knjiga Mehka
common.buy 6.37 €
Ornamentvogelspinnen Henrik Krehenwinkel / Knjiga Trda
common.buy 33.33 €

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Logic Based Program Synthesis and Transformation
Avtor Alberto Pettorossi
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2002
Število strani 272
EAN 9783540439158
ISBN 3540439153
Koda Libristo 01564461
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 880
Mere 155 x 235 x 16

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Models in Cooperative Game Theory Rodica Branzei / Knjiga Mehka
common.buy 104.38 €
Hybrid Latex Particles Alex M. van Herk / Knjiga Mehka
common.buy 308.79 €
Production Planning in Automated Manufacturing Yves Crama / Knjiga Mehka
common.buy 53.30 €
Kmalu Novo
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Knjiga Mehka
common.buy 43.06 €
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Knjiga Mehka
common.buy 122.92 €
Lost Founding Father William J. Cooper / Knjiga Trda
common.buy 25.12 €
Echoes Down a Dark Well Ric Wasley / Knjiga Mehka
common.buy 16.71 €
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Knjiga Mehka
common.buy 9.82 €
The Question of Alsace and Lorraine Thomas Willing Balch / Knjiga Mehka
common.buy 14.68 €
Mind Power Secrets: Road To Riches Shana O Lean / Knjiga Mehka
common.buy 14.89 €
Little Book Of Eternal Wisdom Blessed Henry Suso / Knjiga Mehka
common.buy 13.27 €
Counterfeit Souls Va Andrews / Knjiga Mehka
common.buy 8.10 €
Medical Imaging Techniques and Applications Marcus Lewis / Knjiga Trda
common.buy 113.70 €
Top
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Knjiga Trda
common.buy 10.12 €
South Windsor Claire Lobdell / Knjiga Trda
common.buy 23.10 €
Information Geometry and Population Genetics Julian Hofrichter / Knjiga Mehka
common.buy 102.15 €
Coal Mining in Pakistan Mudassar Ali Raja / Knjiga Mehka
common.buy 36.68 €
Operational Costs in Acquisitions James R. Coffey / Knjiga Mehka
common.buy 51.17 €
First Victory Stewart Andrew Stewart / E-knjiga Adobe ePub DRM
common.buy 11.34 €
Dark Coulee Mary Logue / Knjiga Mehka
common.buy 13.87 €
Landscape Design / Knjiga Trda
common.buy 55.43 €
Top
John Donne John Donne / Knjiga Mehka
common.buy 10.12 €
Community, Economic Creativity, and Organization Ash Amin / Knjiga Trda
common.buy 79.55 €
Understanding Physical Education Ken Green / Knjiga Trda
common.buy 116.13 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?