Logic Based Program Synthesis And Transformation

13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

language: english
Publisher: Springer Nature B.V., March of 2014 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Logic Based Program Synthesis And Transformation

13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Property Description
ISBN: 9783662175088
Publisher: Springer Nature B.V.
Release Date: March of 2014
Language: English
Dimensions: 156 x 234 x 20 mm
Cover: Softcover
Pages: 248
Format: Book
Collection: O. Sauerstoff. Oxygen (System-Nr. 3)
Categories: Books in English > Others
EAN: 9783662175088

BOOKS FROM THE SAME COLLECTION