首页> 外文OA文献 >Hierarchical annotated action diagrams: An interface-oriented specification and verification method By E. Cerny, B. Berkane, P. Girodias and K. Khordoc. Kluwer Academic Publishers, Boston, MA. (1998). 211 pages. $112.00, NLG 255.00, GBP 76.20

【2h】

Hierarchical annotated action diagrams: An interface-oriented specification and verification method By E. Cerny, B. Berkane, P. Girodias and K. Khordoc. Kluwer Academic Publishers, Boston, MA. (1998). 211 pages. $112.00, NLG 255.00, GBP 76.20

机译：带层次结构的带注释的动作图：面向接口的规范和验证方法，作者：E。Cerny，B。Berkane，P。Girodias和K. Khordoc。 Kluwer学术出版社，马萨诸塞州波士顿。（1998）。 211页。 $ 112.00，NLG 255.00，GBP 76.20

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献

1. Nonlinear modeling: Advanced black-box techniques Edited by Johan A. K. Suykens and Joos Vandewalle. Kluwer Academic Publishers, Boston, MA. (1998). 256 pages. $125.00, NLG 285.00, GBP 85.00 [O] . 1999

机译：非线性建模：高级黑盒技术，由Johan A. K. Suykens和Joos Vandewalle编辑。 Kluwer学术出版社，马萨诸塞州波士顿。（1998）。 256页。 $ 125.00，NLG 285.00，GBP 85.00

Hierarchical annotated action diagrams: An interface-oriented specification and verification method By E. Cerny, B. Berkane, P. Girodias and K. Khordoc. Kluwer Academic Publishers, Boston, MA. (1998). 211 pages. $112.00, NLG 255.00, GBP 76.20

著录项

相似文献

相关主题

期刊订阅