Formal methods for industrial critical systems a survey of applications
by
Gnesi, Stefania, 1954-
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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 249398-1001 | ONLINE | | Elektronik Kütüphane |