Formal methods applied to industrial complex systems
Boulanger, Jean-Louis
editor.
text
bibliography
Electronic books.
enk
2014
monographic
eng
1 online resource.
edited by Jean-Louis Boulanger.
Includes bibliographical references and index.
Formal methods (Computer science)
Industrial management
Mathematical models
TECHNOLOGY & ENGINEERING
Engineering (General)
TECHNOLOGY & ENGINEERING
Reference
Formal methods (Computer science)
Industrial management
Mathematical models
QA76.9.F67
004.01/51
Formal methods applied to industrial complex systems
(DLC) 2014936487
(OCoLC)887892541
Computer engineering series (London, England)
9781119004707
1119004705
9781119004844
1119004845
http://onlinelibrary.wiley.com/book/10.1002/9781119004707
http://onlinelibrary.wiley.com/book/10.1002/9781119004707
DG1
140813
20171026114606.0
ocn886654279
eng