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: 05274933
Price: 53.79 EUR
Availability: InStock
Author: Pierre Flener
ISBN: 9783540657651

8th International Workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998. Selected Papers

Pierre Flener

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274933

Verlag Springer, Berlin, November 1998

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Worksh... Vollständige Beschreibung

Libristo-Code: 05274933

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda Pierre Dolbeault

Broschur

37.69 €

5 Towers (Deep Print Games)

Spiel

9.99 €

B-Grammatik Anne Buscha

Broschur

22.49 €

Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels

Broschur

105.79 €

Vikont koji me volio Julia Quinn

Broschur

12.39 €

Fullmetal Alchemist 18 Hiromu Arakawa

Broschur

7.99 €

Lass uns reden! Chiara Colucci

Spiel

20.29 €

Guida per principianti alla produzione e alla gestione dei suini Kwamina Banson

Broschur

64.19 €

ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA

Buch

31.69 €

Hormigón ligero OPS reforzado con fibra de polipropileno Ming Chian Yew

Broschur

33.59 €

Příchod bohů Vlastislav Toman

Audio CD

14.99 €

CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Buch

binding.

34.29 €

The Fog - Nebel des Grauens, 1 DVD (Digital Remastered) John Carpenter

DVD

13.59 €

Karty vědomé duše Kim Dreyer

Karten

7.69 €

Herbář léčivých rostlin (1) Jiří Janča

Hardcover

14.89 €

Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR) André Nollmann

Broschur

44.99 €

Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet

Broschur

73.59 €

Mine d'Or Sébastien Belluso

Broschur

8.19 €

Philadelphia, 1 Blu-ray Craig Mckay

Blu-ray

15.39 €

Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt

Broschur

8.09 €

Skicák TVOŘIVOST B5, čistý, 80 listů

Papier- und Schreibwaren

4.49 €

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

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

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1999

Anzahl der Seiten 338

EAN 9783540657651

ISBN 3540657657

Libristo-Code 05274933

Verlag Springer, Berlin

Gewicht 450

Abmessungen 156 x 234 x 18

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 > Systemanalyse und -design

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