Stefan Edelkamp
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Lecture Notes in Computer Science Stefan Edelkamp 2007 edition

Name: Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Lecture Notes in Computer Science
Price: 10294 JPY
Availability: OutOfStock
Author: Stefan Edelkamp

価格

¥ 10.294

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月10日 - 年11月26日

クリスマスプレゼントは1月31日まで返品可能です

Stefan Edelkamp の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Lecture Notes in Computer Science

Stefan Edelkamp

2007 edition

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.

185 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2007年8月9日
ISBN13	9783540741275
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	185
寸法	155 × 235 × 10 mm · 312 g
編集者	Edelkamp, Stefan
編集者	Lomuscio, Alessio