Industrial applications of formal methods to model, design, and analyze computer systems - Info and Reading Options
By Dan Craigen ( 1953 - )
“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
- Author: Dan Craigen
“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 Identifiers:
- The Open Library ID: OL3490391W
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.