Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Autor:
Tiziana Margaria, Bernhard Steffen
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
276.60
lei
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the...
