Software Specification Methods 在线电子书 图书标签:
发表于2024-11-13
Software Specification Methods 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 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 下载 txt下载 epub 下载 mobi 下载 2024