Foundations of Algebraic Specification and Formal Software Development

作者: Donald Sannella / Andrzej Tarlecki
出版社: Springer
出版年: 2012-1-3
页数: 597
定价: USD 99.00
装帧: Hardcover
ISBN: 9783642173356