Model Checking and Artificial Intelligence - 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
- Författare
- Stefan. Edelkamp
- (Edited by Stefan Edelkamp, Alessio Lomuscio.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2007 | Tyskland, Berlin, Heidelberg | 978-3-540-74128-2 | |
| Springer-Verlag Berlin Heidelberg | 2007 | Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg | v.: digital |