Constructing correct software : the basics
Author(s)
Bibliographic Information
Constructing correct software : the basics
（Formal approaches to computing and information technology (FACIT)）
Springer, c1998
- pbk. : alk. paper
Available at / 6 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
pbk. : alk. paperCOO||22||198032536
-
No Libraries matched.
- Remove all filters.
Note
Includes index