Formal specification techniques for engineering modular C programs

Bibliographic Information

Formal specification techniques for engineering modular C programs

Tan Yang Meng ; foreword by John Guttag

(The Kluwer international series in software engineering, 1)

Kluwer Academic, c1996

Available at  / 10 libraries

Search this Book/Journal

Note

Bibliography: p. [205]-208

Includes index

Related Books: 1-1 of 1

Details

Page Top