Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655691
Price: 51.09 EUR
Availability: InStock
Author: Danny De Schreye
ISBN: 9783642125911

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Danny De Schreye

Lingua

Inglese

Libro In brossura

Codice Libristo: 01655691

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprile 2010

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Descrizione completa

Codice Libristo: 01655691

125 b

51.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Bis die Sterne zittern Johannes Herwig

Adobe ePub DRM

11.39 €

Vyděšený kalous Zuzana Pospíšilová

Rigido

6.29 €

Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen

In brossura

11.69 €

Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински

Rigido

27.59 €

Lumière sur Alzheimer Dr Ky Tran

In brossura

15.49 €

Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head

In brossura

6.59 €

Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja

Blu-ray

18.29 €

Racconti di Natale Charles Dickens

In brossura

5.99 €

Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah

In brossura

57.19 €

Fantastische Häkelfreunde 2 Amigurumipatterns.net

In brossura

13.39 €

Kártyavetés, de hogyan Carla Ferguson

In brossura

10.59 €

Contribution l' tude Des Rouilles Du Bl (Triticum L, ) Au Maroc Hafidi Majida

In brossura

35.29 €

Geometrie Symplectique et Mecanique Claude Albert

In brossura

35.79 €

Beethovens Kammermusik Albrecht Riethmüller

Rigido

86.49 €

Der große Gatsby F. Scott Fitzgerald

Rigido

11.49 €

Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier

In brossura

52.49 €

Slavné melodie v lehké úpravě pro klavír 6 R. Linhart

In brossura

7.19 €

Aberglauben aus Masuren M Toeppen

In brossura

15.99 €

Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh

In brossura

65.19 €

gelosia da orango Irena Trevisan

Rigido

14.15 €

Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens

Rigido

208.39 €

Übungen zum italienischen Wortschatz Wolfgang Reumuth

In brossura

9.59 €

Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert

In brossura

16.09 €

1000 STICKERS Miraculous

In brossura

7.99 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Logic-Based Program Synthesis and Transformation

Autore Danny De Schreye

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2010

Numero di pagine 205

EAN 9783642125911

ISBN 3642125913

Codice Libristo 01655691

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 338

Dimensioni 155 x 235 x 12

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Informatica e Tecnologia dell’Informazione > Sistemi operativi