The Use of formal specification of software : June 25-27, 1979, Berlin
Author(s)
Bibliographic Information
The Use of formal specification of software : June 25-27, 1979, Berlin
（Informatik-Fachberichte, 36）
Springer-Verlag, 1980
- : gw
- : us
Available at / 13 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Berlin||1979.62725970
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index