Formal methods applied to complex systems : implementation of the B Method / edited by Jean-Louis Boulanger.
Material type: TextSeries: Computer engineering series (London, England)Publisher: London : Hoboken, NJ : ISTE ; Wiley, 2014Description: 1 online resourceContent type:- text
- computer
- online resource
- 9781119002680
- 1119002680
- 9781119002727
- 1119002729
- 005.1 23
- QA76.9.B22
No physical items for this record
Includes bibliographical references and index.
Print version record.
Software Engineering