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
Autor/Mitarbeiter:
Bouajjani, Ahmed
,
Silva, Alexandra
Verlagsort,
Verlag,
Jahr:
Cham,
Springer,
[2017]
Umfang:
1 Online-Ressource (XIV, 242 Seiten)
ISBN:
9783319602257
Inhaltstyp/Datenträger:
Konferenzschrift Konferenzschrift
Reihe/Zeitschrift : Lecture notes in computer science
:
Alle Einzelbände
3490737
BV044397032
1002255146
9783319602257
Formal Techniques for Distributed Objects, Components, and Systems ([2017])