| Type |  Book |
| ชื่อเรื่อง | Formal methods for embedded distributed systems [electronic resource] : how to master the complexity / edited by Fabrice Kordon and Michel Lemoine |
| ISBN | 1402079974 (electronic bk.) |
| | 9781402079979 (electronic bk.) |
| พิมพลักษณ์ | Boston : Kluwer Academic, c2004 |
| รูปเล่ม | 1 online resource (xx, 263 p.) : ill., 1 map |
| ลิงค์ | connect to resource |
| หัวเรื่อง | Electronic data processing --Distributed processing [] |
| | Embedded computer systems |