An Introduction to Program Verification
Online Resource
2026
|
Auflage:
2
|
Springer London
ISBN: 9781447175582
CHF 164,75 (inkl. MwSt)
- Noch nicht erschienen