Bücher nach ISBN > VDM Verlag Dr. Müller > Seotsanyana Motlatsi

Seotsanyana Motlatsi

S M

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Formal Analysis and Verification of Safety InterlockSystems: Formal Specification, Development, and Verification of Safety Interlock Systems: Comparative Case Study978-3-639-O8142-8
(3-639-O8142-O)		2008

Sepali Mayadunne