| Type |  Book |
| ชื่อเรื่อง | Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol |
| ผู้แต่ง | Yoeli, Michael |
| ISBN | 0471704490 |
| | 0471704490 (cloth) |
| | 9780470253397 (ebook) |
| | 9780470253410 (online) |
| | 9780471704492 |
| | 9780471704492 (cloth) : ฿5690.00 |
| | 9780471704492 (hc) |
| พิมพลักษณ์ | Hoboken, NJ : John Wiley, c2008 |
| รูปเล่ม | xv, 231p |
| ลิงค์ | Contents. |
| | Wiley Online Library |
| หัวเรื่อง | Integrated circuits |
| | Computer software |
| | Computer software --Verification [] |
| | Integrated circuits --Verification [] |
| | LOTOS (Computer program language) |
| | Petri Nets |