(1991). Design and validation of computer protocols / Gerard J. Holzmann.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Design and Validation of Computer Protocols / Gerard J. Holzmann. 1991.
MLA -ийн эшлэл (9 дэх хэвлэлт)Design and Validation of Computer Protocols / Gerard J. Holzmann. 1991.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.