Formal Specification and Documentation using Z A Case Study Approach

Bibliography: 253 - 283; Introduction (Formal Specification using Z; Industrial Use of Formal Methods; A Brief Introduction to Z); Network Services (Documentation using Z; A File Storage Service); UNIX Software (A Text Formatting Tool; An Event-based Input System); Instruction Sets; Graphics; Wind...

Cur síos iomlán

Đã lưu trong:
Sonraí Bibleagrafaíochta
Príomhúdar: Bowen, Jonathan
Formáid: Leabhar
Teanga:Undetermined
Foilsithe: [k.x.đ] [k.x.đ] 2003
Ábhair:
Rochtain Ar Líne:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326
Clibeanna: Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một