Laguna University Digital Library
Discover books, e-journals, theses, and special collections — all in one place.
Formal methods for software engineering: languages, methods, application domains.
by Roggenbach, Markus [et al.]Published by: Cham, Switzerland : Springer , 2022
- Sublocation
- EGC
- Call Number
- 005.1 F765 2022
- Physical Desc.
- xxviii, 524 p.
- ISBN
- 978-3-030-38800-3
- Copies
- —