Formal methods for industrial critical systems : a survey of applications :: ISBN 9780470876183 :: IEEE Computer Society 2013 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal methods for industrial critical systems : a survey of applications
Contributors Stefania Gnesi, Tiziana Margaria-Steffen
Publisher IEEE Computer Society
Publication date 2013
Publication location Washington, DC
Language English

Topics

015685037

Catalogue Data

OBNB ID GBB0D0303
ISBN 10 0470876182
ISBN 13 9780470876183
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xxi, 270 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal methods for industrial critical systems : a survey of applications. ISBN 9780470876183. Published by IEEE Computer Society in 2013. Publication and catalogue information, links to buy online and reader comments.