Logical methods for specification and verification of multi-agent systems

Logical methods for specification and verification of multi-agent systems

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Jamroga, Wojciech (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Warsaw 2015
Schriftenreihe:Information technologies: research and their interdisciplinary applications 10
Schlagworte:
Mehragentensystem > Systementwicklung
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturverzeichnis Seite 130-141
"Publication issued as part of the project: 'Information technologies: research and their interdisciplinary applications', Objective 4.1 of Human Capital Operational Programme. Agreement number UDA-POKL.04.01.01-00-051/10-00." - Titelrückseite
Beschreibung:141 Seiten
Illustrationen
ISBN:9788363159252
978-83-63159-25-2