COPYRIGHT
书名：严密系统设计：方法、趋势与挑战
作者：（法）约瑟夫·希发基思（Joseph Sifakis）
译者：王强，张继勇
出版社：电子工业出版社
出版时间：2023年12月
ISBN：9787121467653
字数：151千字
