Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems - Info and Reading Options
An International Survey (Advanced Computing and Telecommuni)
By Dan Craigen, Susan Gerhart and Theodore L. Ralston
"Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems" was published by Noyes Data Corporation/Noyes Publications in November 1994, it has 306 pages 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
- Number of Pages: 306
- Publisher: ➤ Noyes Data Corporation/Noyes Publications
- Publish Date: November 1994
“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:
- Format: Hardcover
- Weight: 2 pounds
- Dimensions: 10 x 7 x 1 inches
Edition Identifiers:
- The Open Library ID: OL8048808M - OL3490391W
- ISBN-13: 9780815513629
- ISBN-10: 0815513623
- All ISBNs: 0815513623 - 9780815513629
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.