1
出版 2010
书本目录: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
获取全文
电子 电子书