Complete modal theories for verifying communicating agents behaviour in recursive equations programs

Bibliographische Detailangaben

Hauptverfasser:	Pettorossi, Alberto 1947- (VerfasserIn), Skowron, Andrzej 1943- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Edinburgh 1983
Schriftenreihe:	University <Edinburgh> / Department of Computer Science: Internal report 128
Schlagworte:	Computer software
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!