Formal Techniques for Distributed Objects, Components, and Systems Nobuko Yoshid
Titel: Formal Techniques for Distributed Objects, Components, and Systems, Untertitel: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, Einband: Taschenbuch, Autor: Nobuko Yoshida, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 316, Maße: 235x155x18 mm, Gewicht: 482 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Embedded Systems Programming languages Semantics Software Engineering Software Evaluation Specifications distributed computer systems distributed systems formal logic formal methods model checking verification.
Jetzt bei Ebay:
