Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5438)
詳しい情報
出版社: Springer Berlin Heidelberg(2010-06-02)
ペーパーバック: 196 ページ / 15.5 x 1.1 x 23.5 cm
ISBN-10: 3642005144 ISBN-13: 9783642005145