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, Berlin
SKU: 01562768
Price: 53.79 EUR
Availability: InStock
Author: M. Leuschel
ISBN: 9783540404385

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

M. Leuschel

Lingua

Inglese

Libro In brossura

Codice Libristo: 01562768

Casa editrice Springer, Berlin, novembre 2002

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Descrizione completa

Codice Libristo: 01562768

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Manual para ser feliz around the world ALESS GIBAJA

In brossura

16.99 €

Pojazdy Ernest Błędowski

In brossura

1.29 €

Thomas Jules Lebrun

Rigido

9.29 €

La rythmologie - une date bien choisie peut changer votre vie Wozniak

In brossura

23.69 €

Benjamín Solari Parravicini Zerpa

In brossura

11.39 €

PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Libro

In brossura

20.09 €

Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium

In brossura

41.29 €

Osterlandsagen Geyer

In brossura

17.79 €

Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A

In brossura

15.09 €

Pohádky obtáhni a vykresli - omalovánka

Articoli di cancelleria

1.49 €

Metaphern der Gewalt Monika Schwarz-Friesel

In brossura

32.39 €

Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina

In brossura

45.79 €

Malcolm Max - Auferstehung Peter Mennigen

Rigido

13.19 €

Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD

CD audio

9.29 €

Expeditionen in den dunklen Kontinent Ruth Hagen

In brossura

51.99 €

Písání John Lennon

Rigido

9.39 €

? travers la Montagne corse / TopoGuides

In brossura

24.79 €

El problema mente-cerebro / The Mind-Body Problem Mario Bunge

In brossura

21.89 €

Paula I. Allende

In brossura

11.89 €

Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori

In brossura

11.69 €

Petru Fideliovi Sborník k sedmdesátinám Lucie Malá

In brossura

11.29 €

Malý zajíček Oblečení neuvedený autor

Leporello

2.39 €

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.§§The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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 M. Leuschel

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2003

Numero di pagine 279

EAN 9783540404385

ISBN 3540404384

Codice Libristo 01562768

Casa editrice Springer, Berlin

Peso 417

Dimensioni 155 x 235 x 15

Categorie

Libri per bambini e ragazzi e Materiale didattico > Materiale didattico > Materiale didattico: matematica, scienze e tecnologia, generale > Materiale didattico: scienze, scienza generale

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