00869nam a2200241 a 4500 BD-DhGUBL 20260127135825.0 251111s2014 enka 001 0 eng d 9781848216327 9781119004707 BD-DhGUBL BD-DhGUBL BD-DhGUBL BD-DhGUBL 23 620.001171 Formal methods applied to industrial complex systems / Edited by Jean-Louis Boulanger. London : ISTE, c 2014. xviii, 458 p. : ill. ; Includes bibliographical references and index. Systems engineering Data processing Formal methods Software engineering Boulanger, Jean-Louis Editor https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781119004707?download=true Click here to download ddc EBK 5389 5389