The Use of formal specification of software and firmware, June 25-27, 1979, Berlin
By: edited by H.K. Berg and W.K. Giloi.
Contributors: Berg, H. K.; Giloi, Wolfgang.
Series: Informatik-Fachberichte ;; v. 36
Publisher: Springer-Verlag
Published: 1980
Place of publication: Berlin; New York
Language: eng
Number of pages: 388
Subjects: Computer programming -- Congresses.; Computer firmware.
Notes: Includes bibliographical references and index.