My Library

Limit search to available items
Book Cover
Title Formal methods for industrial critical systems [electronic resource] : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria.
Publication Info. Hoboken, N.J. : John Wiley & Sons Inc. : [Washington, D.C.] : IEEE Computer Society, c2013

Location Call No. Status Notes
 Libraries Electronic Books  ELECTRONIC BOOKS-DDA    AVAIL. ONLINE
Description 1 online resource.
Note Includes index.
Reproduction Electronic reproduction. Perth, W.A. Available via World Wide Web.
Note Description based on online resource; title from digital title page (viewed on Jan. 10, 2013).
Subject Formal methods (Computer science)
Added Author Gnesi, Stefania, 1954-
Margaria-Steffen, Tiziana, 1964-
Ebooks Corporation
Related To Print version: Formal methods for industrial critical systems. Hoboken, New Jersey : John Wiley & Sons Inc., [2012] 9780470876183 (DLC) 2012016775
ISBN 9781118459867 (electronic bk.)
1118459865 (electronic bk.)
9781118459898 (electronic bk.)
111845989X (electronic bk.)
9781283858885 (MyiLibrary)
1283858886 (MyiLibrary)
OCLC # EBC947730
View Shelf for Similar Items