图书标签:
发表于2024-11-29
Software Specification Methods pdf epub mobi txt 电子书 下载 2024
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
评分
评分
评分
评分
Software Specification Methods pdf epub mobi txt 电子书 下载 2024