Formal methods applied to industrial complex systems / edited by Jean-Louis Boulanger.
Material type: TextSeries: Computer engineering series (London, England)Publisher: London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2014Description: 1 online resourceContent type:- text
- computer
- online resource
- 9781119004707
- 1119004705
- 9781119004844
- 1119004845
- 004.01/51 23
- QA76.9.F67
Includes bibliographical references and index.
Online resource; title from PDF title page (Wiley, viewed Aug. 13, 2014).
Computer Science and Engineering