Normal view MARC view ISBD view

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

Craigen, Dan

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey Dan Craigen, Susan Gerhart, Ted Ralston - Park Ridge, N.J Noyes Data Corp c1995 - xii, 306 p. ; 27 cm.

Originally published: Gaithersburg, Md. : National Institute of Standards and Technology, 1993. Includes bibliographical references (p. 74-77)

ISBN: 9780815313629

ISSN: 94023432

Subjects--Topical Terms:
System analysis
System design

Dewey Class. No.: 004.21 CRA

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

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

Find us on the map