Spedizione gratuita per ordini superiori a 69,99 euro.

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

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560821
Price: 53.79 EUR
Availability: InStock
Author: Sandro Etalle
ISBN: 9783540266556

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Sandro Etalle

Lingua

Inglese

Libro In brossura

Codice Libristo: 01560821

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

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Descrizione completa

Codice Libristo: 01560821

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto Claudia Molina

In brossura

16.49 €

Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler

Rigido

96.29 €

La Troisi?me République française et ce qu'elle vaut Joseph Arthur De Gobineau

In brossura

10.89 €

Opowieść wigilijna Dickens Karol

Rigido

6.29 €

Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V

In brossura

34.29 €

Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J-

In brossura

14.19 €

Aventures del capita calçotes DAV PILKEY

Rigido

9.59 €

Die Polen in Oberschlesien Paul Weber

In brossura

13.89 €

Disney: Raya und der letzte Drache

Rigido

9.59 €

Świat równoległy wyd. 2 Tomasz Michniewicz

Rigido

14.79 €

Degas Loyrette

In brossura

21.49 €

SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Pubblicazioni cartacee

Note

26.69 €

Mujeres artistas LINDA NOCHIN

In brossura

50.89 €

Thelma et les enfants à table Colombe Schneck

Rigido

13.99 €

Surpresa Mais Doce Augusta Hill

Adobe ePub DRM

0.99 €

L'ombre L'eau qui s'écoule Lorrain-Vesque

In brossura

20.09 €

Journal d'un Noob - Tome 8 Cube Kid

In brossura

17.69 €

Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer

Rigido

19.79 €

Ja, pesnička 2 collegium

Rigido

5.79 €

Cesta z lebek Tyrani a králové John Marco

In brossura

11.19 €

Největší současní básníci Petr Kovář

Foglio

7.79 €

Ja genau! C. Böschel

In brossura

24.99 €

Klick! Sozialkunde/Politik - Fachhefte für alle Bundesländer - Ausgabe 2008 - Band 3. Bd.3 Christine Fink

Foglio

15.69 €

Vermarktung von Unterhaltung bei Germanys next Topmodel Anina Müller

In brossura

16.89 €

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

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 Sandro Etalle

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2005

Numero di pagine 284

EAN 9783540266556

ISBN 3540266550

Codice Libristo 01560821

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

Peso 450

Dimensioni 155 x 235 x 16

Categorie

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

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 > Programmazione / ingegneria del software