Formal Techniques for Distributed Objects, Components, and Systems Ana Sokolova
Titel: Formal Techniques for Distributed Objects, Components, and Systems, Untertitel: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, Einband: Taschenbuch, Autor: Ana Sokolova, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 252, Maße: 235x155x14 mm, Gewicht: 388 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Security Correlation Analysis Embedded Systems Software Design Software Engineering architecture verification and validation databases distributed computer systems distributed systems formal logic model checking network protocols software architecture verification.
Jetzt bei Ebay:
