Formal Methods: State of the Art and New Directions - bib.howest.be

Formal Methods: State of the Art and New Directions

Format:: e-book
Title:: Formal Methods: State of the Art and New Directions
Author:: Paul Boca; Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed
Language:: English
Publisher:: Springer London 2010
ISBN:: 1-84882-735-0
9786612835926
1-84882-736-9
1-282-83592-0
Subject:: Information Technology Software Engineering
Permalink:: http://bibtest.howest.be/catalog/ebk03:2670000000011760?locale=en