
Formal Methods for Industrial Critical Systems
Gnesi S.
₹7,264

10th Latin American Conference
Springer International Publishing AG · 2024
Free delivery. Nothing extra to pay at checkout.
Published by Springer International Publishing AG in 2024, High Performance Computing: 10th Latin American Conference by Carlos J. Barrios H. runs to 228 pages.