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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Craigen, Dan, 1953-
Otros Autores: Gerhart, Susan L., Ralston, Theodore L.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Park Ridge, N.J. : Noyes Data Corp., [1995]
Colección:Advanced computing and telecommunications series.
Temas:
System design.
System analysis.
Conception de syst�emes.
Analyse de syst�emes.
systems analysis.
COMPUTERS > Computer Literacy.
COMPUTERS > Computer Science.
COMPUTERS > Data Processing.
COMPUTERS > Hardware > General.
COMPUTERS > Information Technology.
COMPUTERS > Machine Theory.
COMPUTERS > Reference.
Analise de sistemas.
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares