Formal Techniques for Distributed Objects, Components, and Systems Adrian Franca
106,99 €
Titel: Formal Techniques for Distributed Objects, Components, and Systems, Untertitel: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings, Einband: Taschenbuch, Autor: Adrian Francalanza, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 256, Maße: 235x155x15 mm, Gewicht: 394 g, Verkäufer: buch-mimpf, Schlagworte: Typed Systems computability distributed systems formal methods logic programming languages semantics security testing verification.
Jetzt bei Ebay:
