Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic Based Program Synthesis and Transformation

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

Język AngielskiAngielski
Książka Miękka
Książka Logic Based Program Synthesis and Transformation Alberto Pettorossi
Kod Libristo: 01564461
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Biochemisches Handlexikon Andor Fodor / Książka Miękka
common.buy 224.60 zł
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Książka Miękka
common.buy 97.81 zł
Les Reformes Sociales Dreux-A / Książka Miękka
common.buy 57.92 zł
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Książka Miękka
common.buy 144.52 zł
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Książka Miękka
common.buy 85.89 zł
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Książka Miękka
common.buy 203.95 zł
Kúpte si družičku! Jacqueline Wilsonová / Książka Miękka
common.buy 33.97 zł
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Książka Miękka
common.buy 69.25 zł
FARMERS MARKET - Una aplicación web / Książka Miękka
common.buy 165.97 zł
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Książka Twarda
common.buy 83.48 zł
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 120.16 zł
LEGO® Harry Potter™ Kouzelnická zábava / Książka Miękka
common.buy 30.56 zł
Ornamentvogelspinnen Henrik Krehenwinkel / Książka Twarda
common.buy 138.90 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic Based Program Synthesis and Transformation
Autor Alberto Pettorossi
Język Angielski
Oprawa Książka - Miękka
Data wydania 2002
Liczba stron 272
EAN 9783540439158
ISBN 3540439153
Kod Libristo 01564461
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 880
Wymiary 155 x 235 x 16

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Medycyna i opieka zdrowotna > Medycyna – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Models in Cooperative Game Theory Rodica Branzei / Książka Miękka
common.buy 435.98 zł
Hybrid Latex Particles Alex M. van Herk / Książka Miękka
common.buy 1 305.45 zł
Production Planning in Automated Manufacturing Yves Crama / Książka Miękka
common.buy 247.55 zł
Zapowiedź Nowość
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Książka Miękka
common.buy 190.12 zł
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Książka Miękka
common.buy 522.88 zł
Lost Founding Father William J. Cooper / Książka Twarda
common.buy 120.56 zł
Echoes Down a Dark Well Ric Wasley / Książka Miękka
common.buy 74.16 zł
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Książka Miękka
common.buy 43.69 zł
The Question of Alsace and Lorraine Thomas Willing Balch / Książka Miękka
common.buy 66.14 zł
Mind Power Secrets: Road To Riches Shana O Lean / Książka Miękka
common.buy 66.44 zł
Little Book Of Eternal Wisdom Blessed Henry Suso / Książka Miękka
common.buy 58.92 zł
Counterfeit Souls Va Andrews / Książka Miękka
common.buy 36.17 zł
Medical Imaging Techniques and Applications Marcus Lewis / Książka Twarda
common.buy 507.84 zł
TOP
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Książka Twarda
common.buy 45.79 zł
South Windsor Claire Lobdell / Książka Twarda
common.buy 104.13 zł
Information Geometry and Population Genetics Julian Hofrichter / Książka Miękka
common.buy 410.22 zł
Coal Mining in Pakistan Mudassar Ali Raja / Książka Miękka
common.buy 150.93 zł
Operational Costs in Acquisitions James R. Coffey / Książka Miękka
common.buy 226.20 zł
First Victory Stewart Andrew Stewart / E-book Adobe ePub DRM
common.buy 54.21 zł
Essential Business Grammar Builder, w. Audio-CD Paul Emmerson / Książka Miękka
common.buy 172.18 zł
Dark Coulee Mary Logue / Książka Miękka
common.buy 62.43 zł
Landscape Design / Książka Twarda
common.buy 256.67 zł
TOP
John Donne John Donne / Książka Miękka
common.buy 45.79 zł
Community, Economic Creativity, and Organization Ash Amin / Książka Twarda
common.buy 332.54 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo