(1995). Formal specification using Z: A modelling approach / Leonardo Bottaci and John Jones.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
MLA -ийн эшлэл (9 дэх хэвлэлт)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.