Электронная книга

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems