Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
复制标题
Z 和 object-Z 的细化：基础和高级应用
DOI：
10.1002/stvr.237
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
P. Stevens
中科院分区：
文献类型：
--
作者：
P. Stevens
Z 和 object-Z 的细化：基础和高级应用。作者：约翰·德里克 (John Derrick) 和埃尔克·博伊滕 (Eerke Boiten)。由德国柏林施普林格出版社出版，计算和信息技术的正式方法系列，2001 年。ISBN：1-85233-245-X，466 页。价格：英国？ 49.50，美国 79.95 美元，德国 159.90 马克，平装。
Refinement in Z and object-Z: foundations and advanced applications. By John Derrick and Eerke Boiten. Published by Springer-Verlag, Berlin, Germany, formal approaches to computing and information technology series, 2001. ISBN: 1-85233-245-X, 466 pages. Price: UK? 49.50, USA $79.95, Germany DM 159.90, soft cover.