Constructing correct software : the basics
著者
書誌事項
Constructing correct software : the basics
（Formal approaches to computing and information technology (FACIT)）
Springer, c1998
- pbk. : alk. paper
大学図書館所蔵 全6件
注記
Includes index
Constructing correct software : the basics
（Formal approaches to computing and information technology (FACIT)）
Springer, c1998
Includes index