Susan Gerhart – författare
Visar alla böcker från författaren Susan Gerhart. Handla med fri frakt och snabb leverans.
1 produkter
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
E-bok, 2012
717 kr
Lägg i varukorg
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected …
