Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bouajjani, Ahmed. (Editor), Silva, Alexandra. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Programming and Software Engineering ; 10321
Subjects:
Computer logic.
Software engineering.
Artificial intelligence.
Mathematical logic.
Computer communication systems.
Logics and Meanings of Programs.
Software Engineering.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
Description
Physical Description:XIV, 243 p. 50 illus. : online resource.
ISBN:9783319602257

Similar Items