Formal methods applied to industrial complex systems /
Formal methods applied to industrial complex systems /
edited by Jean-Louis Boulanger.
- 1 online resource.
- Computer engineering series .
- Computer engineering series (London, England) .
Includes bibliographical references and index.
9781119004707 1119004705 9781119004844 1119004845
10.1002/9781119004707 doi
Formal methods (Computer science)
Industrial management--Mathematical models.
TECHNOLOGY & ENGINEERING--Engineering (General)
TECHNOLOGY & ENGINEERING--Reference.
Formal methods (Computer science)
Industrial management--Mathematical models.
Electronic books.
QA76.9.F67
004.01/51
Includes bibliographical references and index.
9781119004707 1119004705 9781119004844 1119004845
10.1002/9781119004707 doi
Formal methods (Computer science)
Industrial management--Mathematical models.
TECHNOLOGY & ENGINEERING--Engineering (General)
TECHNOLOGY & ENGINEERING--Reference.
Formal methods (Computer science)
Industrial management--Mathematical models.
Electronic books.
QA76.9.F67
004.01/51