Report an Issue

Formal methods applied to complex systems [electronic resource] : implementation of the B Method / edited by Jean-Louis Boulanger

Published:: London : ISTE ; Hoboken, New Jersey : Wiley, 2014.
Physical Description:: xx, 490 pages : illustrations ; 24 cm
Additional Creators:: Boulanger, Jean-Louis

Access Online

serialssolutions.com

Availability

Finding items...

Series:

Computer engineering series

Restrictions on Access:

License restrictions may limit access.

Subject(s):

Genre(s):

Electronic books

ISBN:

1848217099
9781848217096

Bibliography Note:

Includes bibliographical references and index.

View MARC record | catkey: 19467475