この商品を友人に教える:
Agent Technology from a Formal Perspective - NASA Monographs in Systems and Software Engineering Christopher Rouff 2006 edition
価格
¥ 30.161
税抜
遠隔倉庫からの取り寄せ
発送予定日 年8月7日 - 年8月25日
Christopher Rouff の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Agent Technology from a Formal Perspective - NASA Monographs in Systems and Software Engineering
Christopher Rouff
Includes examples of how others have applied formal methods to agent-based systems, and formal method tools and techniques that can be applied. This book provides a view of the key issues related to agent technology from a formal perspective. It points to the gaps and indicates problems to be addressed by researchers, students and practitioners.
354 pages, 17 black & white tables, biography
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2005年10月26日 |
| ISBN13 | 9781852339470 |
| 出版社 | Springer London Ltd |
| ページ数 | 354 |
| 寸法 | 156 × 235 × 22 mm · 703 g |
| 言語 | 英語 |
| 編集者 | Rouff, Christopher |
![Cover for Max Bramer · Principles of Data Mining - Undergraduate Topics in Computer Science (Paperback Book) [4th ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/929/9781447174929.jpg?max-bramer-2020-principles-of-data-mining-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1589239471)
![Cover for Attila Chikan · Inventories in National Economies: A Cross-Country Analysis of Macroeconomic Data (Paperback Book) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/356/9781447174356.jpg?attila-chikan-2019-inventories-in-national-economies-a-cross-country-analysis-of-macroeconomic-data-paperback-book&class=scaled&v=1576226518)
![Cover for Narain Moorjani · Operative Mitral and Tricuspid Valve Surgery (Book) [1st ed. 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/034/9781447142034.jpg?narain-moorjani-2019-operative-mitral-and-tricuspid-valve-surgery-book&class=scaled&v=1603967402)