Software specification methods

Author Statement

edited by Henri Habrias, Marc Frappier

Edition

2nd ed

Publication

ISTE Ltd

Publication Year

2006

Collation

xxv, 418 p. : ill.

Notes

97804700851227 , Includes bibliographical references

Subject

Formal methods (Computer science) , Computer software -- Specifications

ADDED ENTRIES

Habrias, Henri , Habrias, Henri

LC Class

LC Number

76.9

LC CutterNumber

.F67S64

LC Date

2006

وارد کنندة اطلاعات

ZADEHMOHAMMADI

Link To Document