| Type |  Book |
| ชื่อเรื่อง | New methods of concurrent checking / by Michael Goessel...[et al.] |
| ISBN | 1402084196 |
| | 9781402084195 |
| พิมพลักษณ์ | Dordrecht : Springer, 2008 |
| รูปเล่ม | 181 p. : ill |
| หัวเรื่อง | Concurrent engineering |
| | Electronic circuit design |
| | Error-correcting codes (Information theory) |