Formal methods applied to complex systems : implementation of the B Method / [electronic resource]
edited by Jean-Louis Boulanger.
- 1 online resource.
- Computer engineering series .
- Computer engineering series (London, England) .
Includes bibliographical references and index.
9781119002680 1119002680 9781119002727 1119002729
B method (Computer science)
Formal methods (Computer science)
COMPUTERS--Software Development & Engineering--General.
B method (Computer science)
Formal methods (Computer science)
Electronic books.
QA76.9.B22
005.1
Includes bibliographical references and index.
9781119002680 1119002680 9781119002727 1119002729
B method (Computer science)
Formal methods (Computer science)
COMPUTERS--Software Development & Engineering--General.
B method (Computer science)
Formal methods (Computer science)
Electronic books.
QA76.9.B22
005.1