Bengali Keyboard
Industrial Use of Formal Methods : Formal Verification /
Boulange, Jean-Louis
Industrial Use of Formal Methods : Formal Verification / Jean-Louis Boulange - Hoboken, New Jersey : John Wiley & Sons, c 2012. - 320 p. : ill. ;
Includes bibliographical references and index.
9781848213630 9781118561829
Computer simulation
Systems engineering--Data processing
005.101
Industrial Use of Formal Methods : Formal Verification / Jean-Louis Boulange - Hoboken, New Jersey : John Wiley & Sons, c 2012. - 320 p. : ill. ;
Includes bibliographical references and index.
9781848213630 9781118561829
Computer simulation
Systems engineering--Data processing
005.101