Cover of Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers by Edelkamp, Stefan, Lomuscio, Alessio, ISBN 9783540741275
Artificial Intelligence

Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

MODEL CHECKING & ARTIFICIAL IN

Contributor(s): Editor , Editor Format: Paperback

Paperback Β· ISBN 9783540741275

β‚Ή5,675 2%
β‚Ή5,804

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9783540741275
Subtitle MODEL CHECKING & ARTIFICIAL IN
Publisher Springer
Publication date August 2007
Language English
MRP Β£44.99 GBP
Page count 200
Item weight 64 g

Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers published by Springer.