Formal Methods Applied to Industrial Complex Systems

Implementation of the B Method

By Jean-Louis Boulanger

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

2014

Publisher

Wiley & Sons, Incorporated, John

Language

eng

Pages

480

Description:

subjects: Industries, data processing