Placeholder text
Formal Methods: Foundations and Applications
0 - Default Title
Description
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.
Product details
Binding:
Paperback
Number of Pages:
264
Release Date:
2025-11-27
Publication Date:
2025-11-27
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3032120853
ISBN13:
9783032120854
GPSR Manufacturer Reference:
Weight:
406 g
Height:
155 cm
Width:
235 cm
Thickness:
15 cm
Currently sold out