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

Saved in:
Bibliographic Details
Corporate Authors:
SpringerLink (Online service)
International Conference on Formal Techniques for Distributed Objects, Components, and Systems37.(2017) (Neuchâtel, Svájc)
Other Authors:
Bouajjani, Ahmed, szerk.
Silva, Alexandra, szerk.
Special Collection:e-book
Format: Book
Language:English
Published: Cham : Springer International Publishing, 2017
Series:Lecture Notes in Computer Science ; 10321
Subjects:
Logic design.
Software engineering.
szoftverfejlesztés
Artificial intelligence.
mesterséges intelligencia
Computer science.
számítástudomány
Computer Communication Networks.
Logics and Meanings of Programs.
Software Engineering.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
elektronikus könyv
Online Access:https://doi.org/10.1007/978-3-319-60225-7
Tags: Add Tag
Be the first to tag this record!
Login for hold and recall information

Internet

https://doi.org/10.1007/978-3-319-60225-7

Library of Fac. of Informatics

Holdings details from Library of Fac. of Informatics
Call Number: Copy: Collection: Status:
13604 13604 Non-circulating

Similar Items