
Formal Methods: Industrial Use from Model to the Code
Formal Methods: Industrial Use from Model to the Code Author(s): Jean-Louis Boulanger Publisher: Wiley-ISTE Publication ...

Formal Methods: Industrial Use from Model to the Code Author(s): Jean-Louis Boulanger Publisher: Wiley-ISTE Publication ...

The Angola Horror: The 1867 Train Wreck That Shocked the Nation and Transformed American Railroads Reprint Edition Autho...

From a Nickel to a Token: The Journey from Board of Transportation to MTA Reprint Edition Author(s): Andrew J. Sparberg ...