An Introduction to Program Verification
Buch | Softcover
2026
|
Springer London Ltd
ISBN: 9781447175575
CHF 164,75 (inkl. MwSt)
- Noch nicht erschienen