Books+ Search Results
Workshop on Industrial-Strength Formal Specification Techniques proceedings, April 5-8, 1995, Boca Raton, Florida
Title
Workshop on Industrial-Strength Formal Specification Techniques [electronic resource] : proceedings, April 5-8, 1995, Boca Raton, Florida / sponsored by IEEE Computer Society Technical Council on Software Engineering.
Published
Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
Physical Description
viii, 172 p. : ill. ; 28 cm.
Local Notes
Access available to the Yale Community through use of a networked computer with a Yale IP address.
Notes
"IEEE catalog number 95TH8051"--T.p. verso.
Electronic reproduction. New York, N.Y. : IEEE, c2000. Mode of access: World Wide Web. Digitized and made available by: IEEE Xplore.
Access and use
Access restricted by licensing agreement.
Variant and related titles
Industrial-strength formal specification techniques
Electronic reproduction has title: Industrial-Strength Formal Specification Techniques, 1995, proceedings, Workshop on
Other formats
Original
Format
Books / Online
Language
English
Added to Catalog
October 08, 2003
Bibliography
Includes bibliographical references and index.
Subjects
Also listed under
IEEE Computer Society. Technical Council on Software Engineering.
IEEE Xplore (Online service)
Bookmark As
Citation
