| Type |  Book |
| ชื่อเรื่อง | Formal system verification : state-of the-art and future trends / Rolf Drechsler, editor |
| ISBN | 9783319576831 |
| | 9783319576855 |
| | 9783319862231 |
| พิมพลักษณ์ | Cham : Springer, c2018 |
| รูปเล่ม | 1 online resource |
| ลิงค์ | Full Text |
| หัวเรื่อง | Computer systems |
| | Integrated circuits |