Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Model Checking and Artificial Intelligence : 4th Workshop
MoChArt IVRiva del GardaItalyAugust 292006Revised Selected and Invited Papers
SR 367
Inclusive of VAT
SR22Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR367
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. 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.
Report an issue with this product.
