Cover Image

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey /

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected...

Full description

Bibliographic Details
Main Author: Craigen, Dan, 1953-
Corporate Author: ScienceDirect (Online service)
Other Authors: Gerhart, Susan L., Ralston, Theodore L.
Format: eBook
Language:English
Language Notes:English.
Published: Park Ridge, N.J. : Noyes Data Corp., [1995]
Series:Advanced computing and telecommunications series.
Subjects:
System design.
System analysis.
Systems Analysis
Conception de systèmes.
Analyse de systèmes.
systems analysis.
COMPUTERS > Computer Literacy.
COMPUTERS > Computer Science.
COMPUTERS > Data Processing.
COMPUTERS > Hardware > General.
COMPUTERS > Information Technology.
COMPUTERS > Machine Theory.
COMPUTERS > Reference.
System analysis
System design
Analise de sistemas.
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.S88 C735 1995eb
 
Call Number Status Get It
QA76.9.S88 C735 1995eb Available