-
Title
-
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
-
Package
-
eBook - Insights Library 2017: Computer Science [EBILCS17]
-
Platform
-
ScienceDirect
-
URL
-
https://www.sciencedirect.com/science/book/9780815513629
-
Status
-
Deleted
-
Publication Type
-
Monograph
-
Medium
-
Empty
-
Language
-
-
First Author
-
Dan Craigen and Susan Gerhart
-
First Editor
-
Empty
-
Publisher Name
-
William Andrew Publishing
-
Date First in Print
-
1995-01-01
-
Date First Online
-
2012-12-02
-
Access Start Date
-
Empty
-
Access End Date
-
Empty
-
Volume Number
-
Empty
-
Edition Statement
-
Empty
-
Access Type
-
Empty
-
Note
-
Empty
-
Last Changed External
-
Empty
- Date Created
-
2023-07-02 20:14:38
- Last Updated
-
2024-04-15 20:01:03
- UUID
-
5071ec22-c0a7-4943-9746-40280fcf7df5
Identifier Namespace Name |
Identifier Namespace Value |
Identifier |
eISBN
|
eisbn
|
978-0-8155-1362-9
|
Title_ID
|
title_id
|
9780815513629
|
Dewey Decimal Classification |
-
Series
-
Empty
-
Parent publication title ID
-
Empty
-
Superseding publication title ID
-
Empty
-
Preceding publication title ID
-
Empty
Price Type |
Value |
Currency |