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: 01564461
Price: 53.79 EUR
Availability: InStock
Author: Alberto Pettorossi
ISBN: 9783540439158

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

Alberto Pettorossi

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01564461

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

Biochemisches Handlexikon Andor Fodor

Broschur

55.29 €

Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes

Broschur

23.89 €

Les Reformes Sociales Dreux-A

Broschur

14.19 €

Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V

Broschur

35.29 €

Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P

Broschur

20.99 €

Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J

Broschur

49.79 €

Kúpte si družičku! Jacqueline Wilsonová

Broschur

8.29 €

Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela

Broschur

16.89 €

FARMERS MARKET - Una aplicación web

Broschur

40.99 €

Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren

Hardcover

21.90 €

Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo

Kalender

31.99 €

LEGO® Harry Potter™ Kouzelnická zábava

Broschur

7.59 €

Ornamentvogelspinnen Henrik Krehenwinkel

Hardcover

39.00 €

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

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