Java Software Development with Event B

By clibrary on Mon, 06/23/2025 - 19:52
Author

Néstor Cataño Collazos

Publisher

Synthesis Collection of Technology (R0)

Subject

Computing and Processing

Year

2020

ISBN

9783031025501

URL
https://doi.org/10.1007/978-3-031-02550-1