Darmowa dostawa dla zamówień powyżej 299,00 zł.

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: 254.51 PLN
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

Język

Angielski

Książka Miękka

Kod Libristo: 01561746

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2006

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium o... Cały opis

Kod Libristo: 01561746

142 b

Gwarancja
najlepszej
ceny ▸

254.51 zł

Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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

Twarda

83.60 zł

Un nouvel Eden 1 - Une nouvelle erotique interstellaire Dumaitre

MP3

17.27 zł

D.N. Angel Pearls 2 Yukiru Sugisaki

Miękka

47.60 zł

Patientenratgeber Mastzellaktivierungssyndrom (MCAS) Udo Berg

Miękka

83.29 zł

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

Miękka

212.65 zł

Goodbye Istanbul Esmahan Aykol

Miękka

63.54 zł

VILLANUEVA DE CASTRO

Miękka

93.16 zł

KINRA GIRLS - BD - AU COEUR DU LABYRINTHE - TOME 2 Juliette Fournier

Twarda

61.90 zł

Ranma 1/2 - Édition originale - Tome 05 Rumiko Takahashi

Miękka

61.90 zł

Der Europäische Sozialstaat und seine Institutionen. Detlef Merten

Miękka

327.01 zł

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

Miękka

74.13 zł

Im Herzland Günther Dellbrügger

Twarda

97.79 zł

Routage ad hoc hiérarchique ? base de clusters

Miękka

278.26 zł

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

Miękka

122.57 zł

Bluchertrompete Ludwig Salomon

Miękka

39.27 zł

Die Idee der Bibliothek und ihre Zukunft Michael Knoche

Twarda

78.25 zł

L'Esprit Des Journaux, Francois Et Etrangers... Societe De Gens De Lettres

Miękka

103.03 zł

Faust Johann Wolfgang von Goethe

Miękka

100.87 zł

Lutte Contre La Propagation de la Tuberculose Dans Les Familles Pauvres SANS AUTEUR

Miękka

59.43 zł

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

Miękka

59.43 zł

Documentos postúmos del Club Pickwick Charles Dickens

Miękka

52.44 zł

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.