Multiagent Systems And Applications iv

Temporal Logics in Computer Science: Finite-State Systems  eBooks & eLearning

Posted by Underaglassmoon at Jan. 12, 2017
Temporal Logics in Computer Science: Finite-State Systems

Temporal Logics in Computer Science: Finite-State Systems
Cambridge | English | October 2016 | ISBN-10: 1107028361 | 752 pages | PDF | 13.07 mb

by Stéphane Demri (Author), Valentin Goranko (Author), Martin Lange (Author)
 Security, Privacy, and Trust in Modern Data Management & Declarative Agent Languages and Technologies V

Security, Privacy, and Trust in Modern Data Management
Declarative Agent Languages and Technologies V
I –– Publisher: Springer | Pages: 467 | Publication Date: 2007 | ISBN: 9783540698609 | PDF | 3.9 MB
II –– Publisher: Springer | Pages: 254 | Publication Date: 2008 | ISBN: 3540775633 | PDF | 4.3 MB