Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
Author(s)
Bibliographic Information
Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
（Lecture notes in computer science, 680）
Springer-Verlag, c1993
- : us
- : gw
Available at / 57 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||68093039566
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:680931004580
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
