- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable.



