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, Berlin
SKU: 01562768
Price: 53.79 EUR
Availability: InStock
Author: M. Leuschel
ISBN: 9783540404385

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

M. Leuschel

Sprache

Englisch

Buch Broschur

Libristo-Code: 01562768

Verlag Springer, Berlin, November 2002

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Vollständige Beschreibung

Libristo-Code: 01562768

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

Manual para ser feliz around the world ALESS GIBAJA

Broschur

17.69 €

Pojazdy Ernest Błędowski

Broschur

1.39 €

Thomas Jules Lebrun

Hardcover

9.29 €

La rythmologie - une date bien choisie peut changer votre vie Wozniak

Broschur

23.69 €

Benjamín Solari Parravicini Zerpa

Broschur

11.89 €

PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Buch

Broschur

20.09 €

Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium

Broschur

41.29 €

Osterlandsagen Geyer

Broschur

17.79 €

Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A

Broschur

15.09 €

Pohádky obtáhni a vykresli - omalovánka

Papier- und Schreibwaren

1.49 €

Metaphern der Gewalt Monika Schwarz-Friesel

Broschur

34.99 €

Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina

Broschur

45.79 €

Malcolm Max - Auferstehung Peter Mennigen

Hardcover

14.80 €

Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD

Audio CD

9.29 €

Expeditionen in den dunklen Kontinent Ruth Hagen

Broschur

51.99 €

Písání John Lennon

Hardcover

9.59 €

? travers la Montagne corse / TopoGuides

Broschur

25.79 €

El problema mente-cerebro / The Mind-Body Problem Mario Bunge

Broschur

22.99 €

Paula I. Allende

Broschur

11.89 €

Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori

Broschur

11.69 €

Petru Fideliovi Sborník k sedmdesátinám Lucie Malá

Broschur

11.29 €

Malý zajíček Oblečení neuvedený autor

Leporello

2.39 €

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.§§The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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 M. Leuschel

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2003

Anzahl der Seiten 279

EAN 9783540404385

ISBN 3540404384

Libristo-Code 01562768

Verlag Springer, Berlin

Gewicht 417

Abmessungen 155 x 235 x 15

Kategorie

Kinder, Jugendliche und Bildung > Unterrichtsmaterial > Schule und Lernen: Mathematik, Naturwissenschaften, Technik allgemein > Schule und Lernen: Naturwissenschaften, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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