Placeholder text
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... Notes in Computer Science, 15222, Band 15222)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... Notes in Computer Science, 15222, Band 15222)
0 - Default Title
Product details
- Binding:
- Paperback
- Edition:
- 1
- Number of Pages:
- 342
- Release Date:
- 2024-10-26
- Publication Date:
- 2024-10-26
- Publisher:
- Springer
- Languages:
- Published: English, Original: English
- ISBN10:
- 3031753860
- GPSR Manufacturer Reference:
- [email protected]
- Weight:
- 481 g
Currently sold out