Bengali Keyboard
Formal Methods : Industrial Use from Model to the Code /
Boulanger, Jean-Louis Boulanger
Formal Methods : Industrial Use from Model to the Code / Jean-Louis Boulanger. - Hoboken, New Jersey : John Wiley & Sons, c 2012. - 384 p. : ill. ;
Includes bibliographical references and index
9781848213623 9781118561898
Railroads--Management
Formal methods
Application software
385.028553
Formal Methods : Industrial Use from Model to the Code / Jean-Louis Boulanger. - Hoboken, New Jersey : John Wiley & Sons, c 2012. - 384 p. : ill. ;
Includes bibliographical references and index
9781848213623 9781118561898
Railroads--Management
Formal methods
Application software
385.028553