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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570057
Price: 53.79 EUR
Availability: InStock
Author: Andy King
ISBN: 9783540787686

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Andy King

Sprache

Englisch

Buch Broschur

Libristo-Code: 01570057

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2008

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Vollständige Beschreibung

Libristo-Code: 01570057

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

Klar zum Feuern John Martin Ungar

Broschur

10.00 €

20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn

Broschur

17.95 €

Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa

Broschur

37.29 €

Autonomía de la escuela : principios y propuestas Gadotti (BR)

Broschur

22.29 €

L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage

Broschur

33.69 €

Melekler Kiz mi, Erkek mi Özkan Öze

Broschur

9.59 €

Die asiatische Cholera Joseph Riedel

Broschur

12.89 €

Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR

Broschur

18.09 €

Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L

Broschur

13.19 €

Curso sobre agricultura biodinámica STEINER

Broschur

24.19 €

Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki

Broschur

21.90 €

Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social

Broschur

112.79 €

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

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

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 222

EAN 9783540787686

ISBN 3540787682

Libristo-Code 01570057

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

Gewicht 365

Abmessungen 154 x 14 x 239

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