-
西文图书21.Verification of systems and circuits using LOTOS, Petri Nets, and CCS / TN407/BY1
馆藏复本:1
可借复本:1 by Michael Yoeli and Rakefet Kol.
Wiley-Interscience, c2008.
(0) 馆藏
-
西文图书22.Practical UML statecharts in C/C++ event-driven programming for embedded systems / 2nd ed. TP312C/BS1
馆藏复本:1
可借复本:1 Miro Samek.
Newnes/Elsevier, c2009.
(0) 馆藏
-
西文图书23.Testing code security TP309/BV1
馆藏复本:1
可借复本:1 Maura A. van der Linden.
Auerbach Publications, c2007.
(0) 馆藏
-
西文图书24.Pattern-oriented software architecture : a Pattern Language for Distributed Computing / TP311.5/BB2
馆藏复本:1
可借复本:1 Frank Buschmann, Kevlin Henney, Douglas C. Schmidt, editors.
Wiley & Sons, c2007.
(0) 馆藏
上一页 2 / 2 下一页 到第 页