Formal methods applied to complex systems : implementation of the B Method /

Formal methods applied to complex systems : implementation of the B Method / 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