| Type |  Book |
| ชื่อเรื่อง | Software specification methods : an overview using a case study / Marc Frappier and Henri Habrias (eds.) |
| ISBN | 1852333537 |
| พิมพลักษณ์ | London ;New York : Springer, c2001 |
| รูปเล่ม | xxiii, 282 p. : ill |
| หัวเรื่อง | Computer software --Specifications [] |
| | Formal methods (Computer science) |