Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers


Book Informaton

Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

Author

Mads Dam

Series

Lecture Notes in Computer Science

Volume

1192

Year of Publication

1997

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

VIII, 444

Language

en

ISBN

9783540625032, 9783540680529, 3540625038

ARI Id

1664876094205


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 21 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-21
22-50
51-75
76-99
100-115
116-125
126-140
141-171
172-206
207-243
244-259
260-278
279-295
296-319
320-344
345-369
370-387
388-403
404-429
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 21 entries