Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561746
Price: 21599 HUF
Availability: InStock
Author: Patricia M. Hill
ISBN: 9783540326540

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Patricia M. Hill

Language

English

Book Paperback

Libristo code: 01561746

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2006

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium o... Full description

Libristo code: 01561746

145 b

21 599 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Patientenratgeber Mastzellaktivierungssyndrom (MCAS) Udo Berg

Paperback

7 558 Ft

Анна Каренина Лев Толстой

Hardback

9 716 Ft

Le Grand Atlas géographique du monde 6e ed

Hardback

27 060 Ft

Un nouvel Eden 1 - Une nouvelle erotique interstellaire Dumaitre

MP3

1 459 Ft

D.N. Angel Pearls 2 Yukiru Sugisaki

Paperback

4 297 Ft

Ökologie des Purpurreihers (Ardea purpurea) in Numidia N. E. Algerien Boudjema Samraoui

Paperback

19 281 Ft

VILLANUEVA DE CASTRO

Paperback

7 736 Ft

Goodbye Istanbul Esmahan Aykol

Paperback

5 339 Ft

Der Europäische Sozialstaat und seine Institutionen. Detlef Merten

Paperback

29 513 Ft

DDR-Wohnungspolitik ab 1971 und ihre Darstellung in den DEFA-Filmen "Die Legende von Paul und Paula und "Insel der Schwane. Eric Richter

Paperback

6 737 Ft

Routage ad hoc hiérarchique ? base de clusters

Paperback

25 216 Ft

Resume de Repetitions Ecrites Sur Le Droit Penal. Code Penal Et Code d'Instruction Criminelle BOEUF-F

Paperback

10 903 Ft

Im Herzland Günther Dellbrügger

Hardback

8 895 Ft

Die Idee der Bibliothek und ihre Zukunft Michael Knoche

Hardback

7 098 Ft

Bluchertrompete Ludwig Salomon

Paperback

3 570 Ft

Faust Johann Wolfgang von Goethe

Paperback

9 148 Ft

Plan de Confederation Europeenne Et Universelle Du Livre Precurseur BREMOND-J-J

Paperback

5 296 Ft

Documentos postúmos del Club Pickwick Charles Dickens

Paperback

5 311 Ft

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.