ISBN 3642212913 books & textbook
Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, ... (Lecture Notes in Computer Science, 6662)
Calinescu, Radu Jackson, Ethan
Springer /2011-05-23 Paperback / 250 Pages
isbn-10: 3642212913 / isbn-13: 9783642212918
