Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science (1192), Band 1192)

von Mads Dam Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-62503-2 ISBN-10: 3-540-62503-8 Springer · 2008