Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563497
Price: 53.79 EUR
Availability: InStock
Author: Kung-Kiu Lau
ISBN: 9783540421276

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Kung-Kiu Lau

Sprache

Englisch

Buch Broschur

Libristo-Code: 01563497

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2001

This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Vollständige Beschreibung

Libristo-Code: 01563497

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Host na večeři B. P. Walter

Hardcover

13.69 €

Ergotherapie Wolfgang Presber

Hardcover

43.00 €

Reciprocidad y permanencia como talante del animador rural: acciones o procesos Equipo de Apoyo Rural Cáritas Española

Broschur

7.99 €

MARCO DE LOS APENINOS A LOS ANDES EDMUNDO DE AMICIS

Broschur

16.89 €

Голос твоего рода. Исцеление родовых программ Елена Вайс

Hardcover

18.39 €

Cala Ratjada (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo

Kalender

56.39 €

Vzdělávání v mateřské škole Eva Svobodová

Broschur

9.69 €

Scentos. Pachnące masy plastyczne. Walizeczka 20sztuk Buch

binding.

23.79 €

Interpretation des Werkes Die gefesselte Phantasie von Ferdinand Raimund Stephanie Ebert

Broschur

17.95 €

Lumière sur mairies brunes Tome 3 Visa

Broschur

11.79 €

Je suis vivant et vous êtes morts Emmanuel Carrère

Broschur

11.39 €

Mes premières chansons - volume 3 Marine Fleury

Hardcover

14.09 €

Antología (versos, reflexiones, poesías) TOMAS REDONDO GARCIA

Audio CD

13.59 €

Wika - Wika und Oberons Zorn Thomas Day

Hardcover

16.49 €

Brelok Łamignat (Kajko i Kokosz)

binding.

6.29 €

funfzehn grossen Mittel fur das Pferd Regine Beatrix Dreyer

Broschur

9.99 €

Clus Muñoz Robledano

Broschur

13.79 €

Bergson Et Le Christ Des Evangiles Henri Gouhier

Broschur

31.99 €

Magicienne Le Secret Des Zippelius Histoire d'Une Nuit Lermina-J

Broschur

29.19 €

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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 Kung-Kiu Lau

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2001

Anzahl der Seiten 188

EAN 9783540421276

ISBN 3540421270

Libristo-Code 01563497

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 306

Abmessungen 155 x 235 x 11

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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