Formal Methods for Industrial Critical Systems : A Survey of Applications /
Gnesi, Stefania
Formal Methods for Industrial Critical Systems : A Survey of Applications / Stefania Gnesi and Tiziana Margaria. - Hoboken, New Jersey : John Wiley & Sons, c 2013. - xix, 269 p. : ill. ;
Includes bibliographical references and index.
9780470876183 9781118459898
Formal methods
004.0151
Formal Methods for Industrial Critical Systems : A Survey of Applications / Stefania Gnesi and Tiziana Margaria. - Hoboken, New Jersey : John Wiley & Sons, c 2013. - xix, 269 p. : ill. ;
Includes bibliographical references and index.
9780470876183 9781118459898
Formal methods
004.0151
Bengali Keyboard