Cover Image

Workshop on Industrial-Strength Formal Specification Techniques : proceedings, April 5-8, 1995, Boca Raton, Florida /

Bibliographic Details
Corporate Authors: Workshop on Industrial-Strength Formal Specification Techniques Boca Raton, Fla., IEEE Computer Society. Technical Council on Software Engineering
Format: Conference Proceeding Book
Language:English
Published: Los Alamitos, Calif. : IEEE Computer Society Press, [1995]
Subjects:
Computer software > Development > Congresses.
Description
Item Description:"IEEE catalog number 95TH8051"--Title page verso.
Physical Description:viii, 172 pages : illustrations ; 28 cm.
Bibliography:Iincludes bibliographical references and index.
ISBN:0818670053 (paper)
078032529X (IEEE : microfiche)