Specification and verification of multi-agent systems

Saved in:
Bibliographic Details
Other Authors Dastani, Mohammad Mehdi (Editor), Hindriks, Koen, 1971- (Editor), Meyer, J.-J. Ch., 1954- (Editor)
Format eBook
LanguageEnglish
Published New York ; Dordrecht : Springer, 2010
Subjects
Online AccessFull text
ISBN9781441969842
DOI10.1007/978-1-4419-6984-2
Physical Descriptionxvii, 405 s. : il.

Cover

More Information
Item Description:Název z titulní obrazovky
Format:Způsob přístupu: World Wide Web
Bibliography:Obsahuje bibliografické odkazy
ISBN:9781441969842
Access:Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
DOI:10.1007/978-1-4419-6984-2
Physical Description:xvii, 405 s. : il.