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: 01568318
Price: 57.79 EUR
Availability: InStock
Author: Germán Puebla
ISBN: 9783540714095

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Germán Puebla

Lingua

Inglese

Libro In brossura

Codice Libristo: 01568318

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

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

Codice Libristo: 01568318

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg

In brossura

44.89 €

Estem en contra Xavier Gual

Adobe ePub DRM

8.99 €

La causalidad eucarística de la Iglesia Aboín Martín

In brossura

37.39 €

Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR

Rigido

49.79 €

Punto Piu Vicino Al Cielo Duilio Chiarle

In brossura

11.59 €

Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei

In brossura

41.99 €

Kolorowanka Modnisia Gołek Halina

In brossura

2.19 €

43 Recettes de Repas Naturels pour le cancer de la peau qui protégeront et raviveront votre peau: Aidez votre peau ? devenir rapidement saine en nourr Joe Correa Csn

In brossura

16.39 €

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

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 Germán Puebla

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2007

Numero di pagine 240

EAN 9783540714095

ISBN 354071409X

Codice Libristo 01568318

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

Peso 790

Dimensioni 155 x 235 x 17

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

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

The History of the Studebaker Corporation Albert Erskine

In brossura

34.49 €

Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios

In brossura

16.49 €

Paracelsus G Lowes 1862-1932 Dickinson

In brossura

19.99 €

ORBIT Emily Alison

Rigido

52.29 €

Juana Honore de Balzac

In brossura

12.29 €

Assessment Literacy Thomas Devere Wolsey

In brossura

38.29 €

Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh

In brossura

57.29 €

Climate Change and the Media Benedetta Brevini

Rigido

125.09 €

Midsomer Murders: The Complete Series Fourteen Richard Holthouse

DVD

20.69 €

HIV/AIDS Community Information Services M. Sandra Wood

Rigido

99.19 €

Barack Obama- pot-smoker, coke snorter, muslim? and now President of the USA: What in the hell happened to America? Scott Browning

In brossura

10.69 €

Dental Service Support Operations (FM 4-02.19) Department Of the Army

In brossura

13.49 €

Sir Peter Coats, Thomas Coats, James Coats, Archibald Coats, James Coats, Jr., Thomas Glen Coats, Peter Coats, Jr., and George Coats, Doing Business U Witter & Kenyon

In brossura

33.69 €

Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey

In brossura

36.79 €

Applicable Law to International Commercial Contracts and the Status of Lex Mercatoria - With a Special Emphasis on Choice of Law Rules in the Euro Mert Elcin

In brossura

26.89 €