| Type |  Book |
| ชื่อเรื่อง | Integration of software specification techniques for applications in engineering [electronic resource] : Priority Program SoftSpez of the German Research Foundation (DFG) : final report / Hartmut Ehrig ... [et al.] (eds.) |
| ISBN | 3540231358 (pbk.) |
| | 9783540231356 (pbk.) |
| พิมพลักษณ์ | Berlin ; New York : Springer, c2004 |
| รูปเล่ม | 1 online resource (x, 628 p.) : ill |
| ลิงค์ | Connect to electronic resource |
| หัวเรื่อง | Computer software --Specifications --Germany [] |
| | Computer software --Development --Germany [] |
| | Production engineering --Technological innovations --Germany [] |
| | Traffic engineering --Technological innovations --Germany [] |