Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic Based Program Synthesis and Transformation

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

Limba englezăengleză
Carte Carte broșată
Carte Logic Based Program Synthesis and Transformation Alberto Pettorossi
Codul Libristo: 01564461
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Biochemisches Handlexikon Andor Fodor / Carte Carte broșată
common.buy 292.70 lei
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Carte Carte broșată
common.buy 126.71 lei
Les Reformes Sociales Dreux-A / Carte Carte broșată
common.buy 75.09 lei
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Carte Carte broșată
common.buy 186.85 lei
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Carte Carte broșată
common.buy 111.34 lei
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Carte Carte broșată
common.buy 263.41 lei
Kúpte si družičku! Jacqueline Wilsonová / Carte Carte broșată
common.buy 41.95 lei
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Carte Carte broșată
common.buy 85.68 lei
FARMERS MARKET - Una aplicación web / Carte Carte broșată
common.buy 217.19 lei
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Carte Copertă tare
common.buy 109.26 lei
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendar / Agendă Calendar
common.buy 157.25 lei
LEGO® Harry Potter™ Kouzelnická zábava / Carte Carte broșată
common.buy 37.80 lei
Ornamentvogelspinnen Henrik Krehenwinkel / Carte Copertă tare
common.buy 182.60 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic Based Program Synthesis and Transformation
Autor Alberto Pettorossi
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 272
EAN 9783540439158
ISBN 3540439153
Codul Libristo 01564461
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 880
Dimensiuni 155 x 235 x 16

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Models in Cooperative Game Theory Rodica Branzei / Carte Carte broșată
common.buy 568.27 lei
Hybrid Latex Particles Alex M. van Herk / Carte Carte broșată
common.buy 1 701.52 lei
Production Planning in Automated Manufacturing Yves Crama / Carte Carte broșată
common.buy 305.89 lei
Curând Nou
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Carte Carte broșată
common.buy 245.02 lei
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Carte Carte broșată
common.buy 681.60 lei
Lost Founding Father William J. Cooper / Carte Copertă tare
common.buy 149.05 lei
Echoes Down a Dark Well Ric Wasley / Carte Carte broșată
common.buy 96.49 lei
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Carte Carte broșată
common.buy 56.91 lei
The Question of Alsace and Lorraine Thomas Willing Balch / Carte Carte broșată
common.buy 86.72 lei
Mind Power Secrets: Road To Riches Shana O Lean / Carte Carte broșată
common.buy 86.52 lei
Little Book Of Eternal Wisdom Blessed Henry Suso / Carte Carte broșată
common.buy 76.54 lei
Counterfeit Souls Va Andrews / Carte Carte broșată
common.buy 46.94 lei
Medical Imaging Techniques and Applications Marcus Lewis / Carte Copertă tare
common.buy 661.86 lei
Top
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Carte Copertă tare
common.buy 69.38 lei
South Windsor Claire Lobdell / Carte Copertă tare
common.buy 136.69 lei
Information Geometry and Population Genetics Julian Hofrichter / Carte Carte broșată
common.buy 533.89 lei
Coal Mining in Pakistan Mudassar Ali Raja / Carte Carte broșată
common.buy 197.66 lei
Operational Costs in Acquisitions James R. Coffey / Carte Carte broșată
common.buy 291.97 lei
First Victory Stewart Andrew Stewart / E-book Adobe ePub DRM
common.buy 66.57 lei
Essential Business Grammar Builder, w. Audio-CD Paul Emmerson / Carte Carte broșată
common.buy 224.77 lei
Dark Coulee Mary Logue / Carte Carte broșată
common.buy 81.53 lei
Landscape Design / Carte Copertă tare
common.buy 317.32 lei
Top
John Donne John Donne / Carte Carte broșată
common.buy 60.34 lei
Community, Economic Creativity, and Organization Ash Amin / Carte Copertă tare
common.buy 428.67 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?