Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems - Info and Reading Options
By Dan Craigen, Susan Gerhart and Theodore L. Ralston
"Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems" was published by Elsevier Science & Technology Books in 2012 and the language of the book is English.
“Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems” Metadata:
- Title: ➤ Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
- Authors: Dan CraigenSusan GerhartTheodore L. Ralston
- Language: English
- Publisher: ➤ Elsevier Science & Technology Books
- Publish Date: 2012
“Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems” Subjects and Themes:
- Subjects: ➤ System analysis - System design - Systems Analysis (Computer Science) - Systems Engineering - Computers - Languages / Programming - Computer Books: Operating Systems - Programming - Systems Analysis & Design - Programming Languages - General
Edition Specifications:
- Pagination: 318
Edition Identifiers:
- The Open Library ID: OL35777750M - OL3490391W
- ISBN-13: 9781437728170
- All ISBNs: 9781437728170
AI-generated Review of “Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems”:
Read “Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems”:
Read “Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems” by choosing from the options below.
Search for “Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems” in Libraries Near You:
Read or borrow “Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems” at a library near you.
Buy “Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems” online:
Shop for “Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems” on popular online marketplaces.
- Ebay: New and used books.