Browse by LC Call Number
Browse by Author
Browse by Subject
Export to Refworks
Export to EndNote
Report an Issue
Formal methods applied to complex systems [electronic resource] : implementation of the B Method / edited by Jean-Louis Boulanger
London : ISTE ; Hoboken, New Jersey : Wiley, 2014.
xx, 490 pages : illustrations ; 24 cm
I Want It
Computer engineering series
Restrictions on Access:
License restrictions may limit access.
B method (Computer science)
Formal methods (Computer science)
Includes bibliographical references and index.
View MARC record
| catkey: 19467475