Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude

Mentés helye:
Bibliográfiai részletek
Szerző:
Testületi szerző:
Különgyűjtemény:e-book
Formátum: könyv
Nyelv:angol
Megjelenés: London : Springer London, 2017
Sorozat:Undergraduate Topics in Computer Science, ISSN 1863-7310
Tárgyszavak:
Online elérés:https://doi.org/10.1007/978-1-4471-6687-0
Címkék: Új címke
A tételhez itt fűzhet saját címkét!

Hasonló tételek