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 /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bouajjani, Ahmed. (Editor ), Silva, Alexandra. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Programming and Software Engineering ; 10321
Materias:
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.
Descripción
Descripción Física:XIV, 243 p. 50 illus. : online resource.
ISBN:9783319602257

Ejemplares similares