RecordDetails

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey / Dan Craigen, Susan Gerhart, Ted Ralston. Craigen, Dan, 1953-

Call Number

004.21 C8868

Publication

Park Ridge, N.J. : Noyes Data Corp., c1995.

Description

xii, 306 p. ; 27 cm.

Multimedia

http://www.loc.gov/catdir/toc/wap041/94023432.html


Call number: ‪004.21 ‪C8868
Author: ‪Craigen, Dan, ‪1953-
other author: ‪Gerhart, Susan L.
other author: ‪Ralston, Theodore L.
Title: ‪Industrial applications of formal methods to model, design, and analyze computer systems : ‪an international survey / ‪Dan Craigen, Susan Gerhart, Ted Ralston.
Publisher: ‪Park Ridge, N.J. : ‪Noyes Data Corp., ‪c1995.
Description: ‪xii, 306 p. ; ‪27 cm.
Subject: ‪System design
other Subject: ‪System analysis
Multimedia: http://www.loc.gov/catdir/toc/wap041/94023432.html
ISBN: ‪0815513623 (hbk.) :