Konferenzschrift | Kongress
Analysis and verification of multiple agent languages : selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540625032
3540625038
- Dimensions
-
24 cm
- Extent
-
VIII, 434 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1192
- Keyword
-
Programmiersprache
Programmanalyse
Programmiersprache
Programmverifikation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1997
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:59 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Dam, Mads
- LOMAPS Workshop (5 : 1996 : Stockholm)
- Springer
Time of origin
- 1997
Other Objects (12)
Multi-agent systems : theories, languages, and applications ; selected papers
Declarative agent languages and technologies X : 10th international workshop ; revised selected papers
Declarative agent languages and techniques : first international workshop ; revised selected and invited papers
Runtime verification : 9th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Declarative agent languages and technologies VIII : 8th international workshop ; revised selected and invited papers
Declarative agent languages and technologies VI : 6th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IV : 4th international workshop ; selected, revised and invited papers
Declarative agent languages and technologies VII : 7th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IX : 9th international workshop ; revised selected and invited papers
Runtime verification : second international conference ; revised selected papers
Runtime verification : third international conference ; revised selected papers
Multi-agent systems : theories, languages, and applications ; selected papers
Declarative agent languages and technologies X : 10th international workshop ; revised selected papers
Declarative agent languages and techniques : first international workshop ; revised selected and invited papers
Runtime verification : 9th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Declarative agent languages and technologies VIII : 8th international workshop ; revised selected and invited papers
Declarative agent languages and technologies VI : 6th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IV : 4th international workshop ; selected, revised and invited papers
Declarative agent languages and technologies VII : 7th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IX : 9th international workshop ; revised selected and invited papers
Runtime verification : second international conference ; revised selected papers
Runtime verification : third international conference ; revised selected papers
Multi-agent systems : theories, languages, and applications ; selected papers
Declarative agent languages and technologies X : 10th international workshop ; revised selected papers
Declarative agent languages and techniques : first international workshop ; revised selected and invited papers
Runtime verification : 9th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Declarative agent languages and technologies VIII : 8th international workshop ; revised selected and invited papers
Declarative agent languages and technologies VI : 6th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IV : 4th international workshop ; selected, revised and invited papers
Declarative agent languages and technologies VII : 7th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IX : 9th international workshop ; revised selected and invited papers
Runtime verification : second international conference ; revised selected papers