Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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 prevzemna mesta DPD in Express One.

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661777
Price: 45.0 EUR
Availability: InStock
Author: Germán Vidal
ISBN: 9783642322105

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Germán Vidal

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01661777

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2012

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Celoten opis

Koda Libristo: 01661777

109 b

45.00 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt

Mehka

50.16 €

Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков

Note

7.07 €

1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA

Mehka

23.66 €

Pokémon - Maxi-colo Paldea The Pokémon Company

Mehka

6.67 €

Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак

binding.

28.52 €

Dzia?alno?? do?wiadczalna i badawcza w in?ynierii l?dowej i wodnej F. Retamal

Mehka

33.57 €

Artikel Marketing Blitz Andre Sternberg

Adobe ePub DRM

0.90 €

L'Invention pharmaceutique. La pharmacie française entre l'Etat et la société au XXe siècle Sophie Chauveau

Mehka

32.66 €

Les silences de Margaret Paul Couturiau

Mehka

23.26 €

O dôstojnosti človeka Božena Seilerová

Mehka

8.08 €

Le Grand livre de la nature Anonyme

Adobe ePub DRM

10.21 €

Llibre d'amic i amat Beato Ramón Llull

Mehka

16.07 €

Przyjaciel Is Anna Helena Kubiak

Adobe ePub DRM

0.90 €

Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm Igra/Igrača

Igrača

21.64 €

Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale

Mehka

18.20 €

Šťastné příběhy Čtyřlístku Ljuba Štíplová

Trda

20.93 €

Healing Hotels of the World

Trda

54.31 €

Madchen in der Sprayerkultur? Lena Rheindorf

Mehka

15.26 €

Leben Neben Der Wohlstandsgesellschaft Walter Bien

Mehka

54.72 €

Shania- Philosophie Thomas Heim

Mehka

12.74 €

L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang

Mehka

72.82 €

213-295 Walter Gollwitzer

Trda

478.26 €

Od Čertovy Lhotky k Mariánským Horám collegium

Trda

9.09 €

Poemas hesiódicos Hesíodo

Mehka

10.41 €

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.