Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 05274933
Price: 48.85 EUR
Availability: InStock
Author: Pierre Flener
ISBN: 9783540657651

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

Pierre Flener

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 05274933

Založba Springer, Berlin, november 1998

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Worksh... Celoten opis

Koda Libristo: 05274933

118 b

48.85 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

Mehka

34.18 €

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

Mehka

57.75 €

ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA

Knjiga

28.41 €

Příchod bohů Vlastislav Toman

Zvočni CD

12.63 €

Vikont koji me volio Julia Quinn

Mehka

10.61 €

Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels

Mehka

96.29 €

Fullmetal Alchemist 18 Hiromu Arakawa

Mehka

7.58 €

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

Mehka

30.24 €

5 Towers (Deep Print Games)

Igra

8.99 €

Lass uns reden! Chiara Colucci

Igra

18.00 €

B-Grammatik Anne Buscha

Mehka

20.52 €

CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Knjiga

binding.

30.24 €

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

DVD

12.43 €

Karty vědomé duše Kim Dreyer

Karte

6.56 €

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

Trda

12.84 €

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

Mehka

37.82 €

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

Mehka

66.25 €

Mine d'Or Sébastien Belluso

Mehka

7.37 €

Philadelphia, 1 Blu-ray Craig Mckay

Blu-ray

14.05 €

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

Mehka

7.48 €

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

Pisarniški material

4.24 €

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.