| Type |  Book |
| ชื่อเรื่อง | Software and systems safety : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
| ISBN | 9781607507109 |
| พิมพลักษณ์ | Amsterdam : IOS Press, 2011 |
| รูปเล่ม | ix, 285 p. : ill |
| ลิงค์ | Click to see a table of contents |
| หัวเรื่อง | COMPUTER ENGINEERING --CONGRESSES [] |
| | COMPUTER SOFTWARE --RELIABILITY --CONGRESSES [] |
| | SOFTWARE ENGINEERING --CONGRESSES [] |
| | SOFTWARE PROTECTION --CONGRESSES [] |
| | SYSTEM SAFETY --CONGRESSES --CONGRESSES [] |