4 books • 2 series
Analog and Mixed Signal Testing
System Safety
Formal System Specification and Implementation Using Z (Prentice Hall International Series in Computer Science)
Life Cycle Support in the Ada Environment (The Ada Companion)