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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 01559466
Price: 60.39 EUR
Availability: InStock
Author: Maurice Bruynooghe
ISBN: 9783540221746

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Maurice Bruynooghe

Sprache

Englisch

Buch Broschur

Libristo-Code: 01559466

Verlag Springer, Berlin, November 2003

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on... Vollständige Beschreibung

Libristo-Code: 01559466

148 b

60.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

The Step Forward Years 1977-82 4CD Clamshell Box

Audio CD

59.79 €

Soldati di Salamina Javier Cercas

Broschur

27.29 €

Dezentrale Vermögensbildungsfonds. Barbara Toillié

Hardcover

66.39 €

Atlas dějin USA Lauric Henneton

Broschur

14.69 €

Chemie heute SI - Ausgabe 2013 für Sachsen Wolfgang Asselborn

Blatt

15.39 €

Information im oeffentlich-rechtlichen Fernsehen Cornelia Steinigen

Broschur

17.95 €

Mein Wörter-Schreibheft - erste Rechtschreibregeln Bernadette Frechen

Blatt

4.19 €

Ehe ich mich Traue Joachim Peters

Broschur

14.39 €

Charismating - Einkauf als Erlebnis Claudius A. Schmitz

Hardcover

42.09 €

Der Kinderkreuzzug Marcel Schwob

Broschur

13.49 €

Nuevas Tecnologías y Derechos Humanos Pérez Luño

Broschur

29.39 €

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.

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 Maurice Bruynooghe

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2004

Anzahl der Seiten 238

EAN 9783540221746

ISBN 3540221743

Libristo-Code 01559466

Verlag Springer, Berlin

Gewicht 380

Abmessungen 156 x 234 x 13

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 > 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