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

Gespeichert in:
Hauptverfasser:
Bouajjani, Ahmed (HerausgeberIn), Silva, Alexandra (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2017
Umfang:
1 Online-Ressource (XIV, 243 p. 50 illus)
text file PDF
Schriftenreihe:
Lecture Notes in Computer Science
ISBN:
9783319602257
ISSN:
0302-9743
Schlagworte:
Verteiltes System
Software Engineering
Computer science
Computer communication systems
Software engineering
Computer logic
Mathematical logic
Artificial intelligence
Bezugswerke:
Links: