Formal methods in standards : a report from the BCS Working Group /

Formal methods in standards : a report from the BCS Working Group /

Saved in:
Bibliographic Details
Corporate Author: British Computer Society. Formal Methods in Standards Working Group
Other Authors: Ruggles, C. L. N. (Clive L. N.), Andrews, Derek
Format: Book
Language:English
Published: London ; New York : Springer-Verlag, 1990.
Subjects:
Electronic data processing > Standards > Great Britain.
Description
Physical Description:135 p. : ill. ; 25 cm.
Bibliography:Includes bibliographical references (p. [79]-92] and index.
ISBN:0387195777 (alk. paper)
3540195777 (alk. paper)

Similar Items