The Use of Formal Specification of Software: June 25-27, 1979, Berlin (Informatik-Fachberichte, Band 36)

Fachberichte

von H. K. Berg W. K. Giloi

Taschenbuch

ISBN: 978-3-540-10442-1

ISBN-10: 3-540-10442-9

Springer Berlin Heidelberg · 1980