Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Logic Based Program Synthesis and Transformation

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

Sprache EnglischEnglisch
Buch Broschur
Buch Logic Based Program Synthesis and Transformation Alberto Pettorossi
Libristo-Code: 01564461
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Biochemisches Handlexikon Andor Fodor / Buch Broschur
common.buy 55.29 €
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Buch Broschur
common.buy 23.89 €
Top
Kúpte si družičku! Jacqueline Wilsonová / Buch Broschur
common.buy 7.09 €
FARMERS MARKET - Una aplicación web / Buch Broschur
common.buy 40.99 €
Demnächst
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Buch Hardcover
common.buy 21.90 €
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalender/Terminbuch Kalender
common.buy 31.99 €
LEGO® Harry Potter™ Kouzelnická zábava / Buch Broschur
common.buy 6.29 €
Ornamentvogelspinnen Henrik Krehenwinkel / Buch Hardcover
common.buy 39.00 €
La mort sur ses épaules Farmer / Buch Broschur
common.buy 26.79 €
Coches del futuro: El DeLorean del siglo XXI y los nanomateriales Abg Technologies / Buch Broschur
common.buy 19.09 €
Océanos de inmortalidad: Un círculo, seis mujeres y muchas vidas pasadas. Bea Panisello / Buch Broschur
common.buy 20.49 €
Les Reformes Sociales Dreux-A / Buch Broschur
common.buy 13.59 €
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Buch Broschur
common.buy 28.29 €
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Buch Broschur
common.buy 15.99 €
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Buch Broschur
common.buy 49.79 €
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Buch Broschur
common.buy 14.69 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic Based Program Synthesis and Transformation
Autor Alberto Pettorossi
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2002
Anzahl der Seiten 272
EAN 9783540439158
ISBN 3540439153
Libristo-Code 01564461
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 880
Abmessungen 155 x 235 x 16

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Medizin > Medizin, allgemein
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Models in Cooperative Game Theory Rodica Branzei / Buch Broschur
common.buy 101.79 €
Hybrid Latex Particles Alex M. van Herk / Buch Broschur
common.buy 304.89 €
Production Planning in Automated Manufacturing Yves Crama / Buch Broschur
common.buy 57.79 €
Dark Coulee Mary Logue / Buch Broschur
common.buy 15.39 €
Demnächst Neu
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Buch Broschur
common.buy 43.59 €
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Buch Broschur
common.buy 122.09 €
Lost Founding Father William J. Cooper / Buch Hardcover
common.buy 28.09 €
Echoes Down a Dark Well Ric Wasley / Buch Broschur
common.buy 18.19 €
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Buch Broschur
common.buy 10.69 €
The Question of Alsace and Lorraine Thomas Willing Balch / Buch Broschur
common.buy 16.39 €
Mind Power Secrets: Road To Riches Shana O Lean / Buch Broschur
common.buy 16.29 €
Little Book Of Eternal Wisdom Blessed Henry Suso / Buch Broschur
common.buy 14.49 €
Counterfeit Souls Va Andrews / Buch Broschur
common.buy 8.89 €
Medical Imaging Techniques and Applications Marcus Lewis / Buch Hardcover
common.buy 99.49 €
Top
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Buch Hardcover
common.buy 9.19 €
South Windsor Claire Lobdell / Buch Hardcover
common.buy 25.79 €
Information Geometry and Population Genetics Julian Hofrichter / Buch Broschur
common.buy 90.69 €
Coal Mining in Pakistan Mudassar Ali Raja / Buch Broschur
common.buy 37.29 €
Operational Costs in Acquisitions James R. Coffey / Buch Broschur
common.buy 55.19 €
First Victory Stewart Andrew Stewart / E-Book Adobe ePub DRM
common.buy 20.29 €
Lost Tucker's Island Kathleen Donnelly / Buch Broschur
common.buy 13.49 €
Essential Business Grammar Builder, w. Audio-CD Paul Emmerson / Buch Broschur
common.buy 40.19 €
Top
One-Punch Man, Vol. 1 One / Buch Broschur
common.buy 8.29 €
On Light and Other High Frequency Phenomena Nikola / Buch Broschur
common.buy 13.19 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?