| Type |  Book |
| ชื่อเรื่อง | ระเบียบวิธีการแบบตรรกะศาสตร์ สำหรับการรักษาความปลอดภัยในคอมพิวเตอร์ = A logic-based formal methodology for computer security / ยุงยทธ เพิ่มพูนธนลาภ |
| ผู้แต่ง | ยงยุทธ เพิ่มพูนธนลาภ |
| พิมพลักษณ์ | กรุงเทพฯ : มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี, 2545 |
| รูปเล่ม | 124 หน้า : ภาพประกอบ |
| ลิงค์ | Full Text |
| หัวเรื่อง | Computer security |
| | ความปลอดภัยในระบบคอมพิวเตอร์ |