Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers - Brossura

 
9783642205521: Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Brossura
ISBN 10: 3642205526 ISBN 13: 9783642205521
Casa editrice: Springer, 2013

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
3642205526
ISBN 13 
9783642205521
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9783642205507: Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers: 6564

Edizione in evidenza

ISBN 10:  364220550X ISBN 13:  9783642205507
Casa editrice: Springer, 2011
Brossura