Analysis and verification of multiple agent languages
- Författare
- LOMAPS Workshop on Analysis and Verification of Multiple- Agent Languages 1996 : Stockholm)
- (5th LOMAPS Workshop, Stockholm, Sweden, June 24 - 26, 1996 : selected papers Mads Dam (ed.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | 434 sidor. | |
| Springer Berlin Heidelberg | 1997 | Utgivningsland okänt / Ej specificerat | ||
| Springer Berlin Heidelberg, Imprint: Springer | 1997 | Tyskland, Berlin, Heidelberg | 1 online resource (VIII, 444 sidor.) |