Articoli correlati a Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation - Brossura

 
9783540836476: Logic-Based Program Synthesis and Transformation
Brossura
ISBN 10: 3540836470 ISBN 13: 9783540836476
Casa editrice: Springer, 2008

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540836470
ISBN 13 
9783540836476
Rilegatura
Paperback
Numero di pagine
252
Redattore
Puebla Germán
Contatto del produttore
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783540714095: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006 Venice, Italy, July 12-14, 2006 Revised Selected Papers: 4407

Edizione in evidenza

ISBN 10:  354071409X ISBN 13:  9783540714095
Casa editrice: Springer, 2009
Brossura