| Type |  Book |
| ชื่อเรื่อง | Embedded Systems: Design, Analysis and Verification [electronic resource] : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings / edited by Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig |
| ISBN | 9783642388521 |
| | 9783642388538 |
| พิมพลักษณ์ | Berlin, Heidelberg : Springer Berlin Heidelberg, c2013 |
| รูปเล่ม | 1 online resource |
| หัวเรื่อง | Computer aided design |
| | Computer science |
| | Computer science |
| | Computer system performance |
| | System performance and evaluation |
| | Computer-aided engineering (Cad, Cae) and design |
| | Software engineering |
| | Special purpose and application-based systems |
| | Electronic books |
| | Software engineering |