The Use of Formal Specification of Software
Subtitle: June 25-27, 1979, Berlin
By: edited by H. K. Berg, W. K. Giloi
Contributors: Giloi, W. K.
Series: Informatik-Fachberichte, 0343-3005 -- 36; Informatik-Fachberichte -- 36.
Publisher: Springer Berlin Heidelberg
Published: 1980
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642678813