Cover image for Formal methods for industrial critical systems a survey of applications
Title:
Formal methods for industrial critical systems a survey of applications
Author:
Gnesi, Stefania, 1954-
ISBN:
9781118459898

9781118459867
Publication Information:
Hoboken, New Jersey : John Wiley & Sons Inc., [2012]
Physical Description:
1 online resource.
Subject Term:
Formal methods (Computer science)

COMPUTERS / Computer Engineering.

COMPUTERS / Computer Literacy

COMPUTERS / Computer Science

COMPUTERS / Data Processing

COMPUTERS / Hardware / General

COMPUTERS / Information Technology

COMPUTERS / Machine Theory

COMPUTERS / Reference
Genre:
Electronic books.
Added Author:
Gnesi, Stefania, 1954-

Margaria-Steffen, Tiziana, 1964-
Electronic Access:
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Holds:

Copies:

Library
Click to Sort
Material Type
Click to Sort
Item Barcode
Click to Sort
Shelf Number
Click to Sort
Status
Click to Sort
Item Holds
Click to Sort
Searching...
 E-Book 249398-1001 ONLINE
Searching...