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

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

L'édition de cet ISBN n'est malheureusement plus disponible.

Éditeur
Springer
Date d'édition
2013
Langue
anglais
ISBN 10 
3642205526
ISBN 13 
9783642205521
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  364220550X ISBN 13 :  9783642205507
Editeur : Springer, 2011
Couverture souple