Télécharger le livre :  Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
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...

Editeur : William Andrew
Parution : 2012-12-02
PDF sans DRM

57,97

Téléchargement immédiat
Dès validation de votre commande