Industrial applications of formal methods to model, design, and analyze computer systems - Info and Reading Options
an international survey
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 Corp. in 1995 - Park Ridge, N.J, 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 Corp.
- Publish Date: 1995
- Publish Location: Park Ridge, N.J
“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: xii, 306 p. ;
Edition Identifiers:
- The Open Library ID: OL1098704M - OL3490391W
- Library of Congress Control Number (LCCN): 94023432
- ISBN-10: 0815513623
- All ISBNs: 0815513623
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.