Titlebook: ZB 2002: Formal Specification and Development in Z and B; 2nd International Co Didier Bert,Jonathan P. Bowen,Ken Robinson Conference procee

Ford

書目名稱ZB 2002: Formal Specification and Development in Z and B影響因子(影響力)




書目名稱ZB 2002: Formal Specification and Development in Z and B影響因子(影響力)學科排名




書目名稱ZB 2002: Formal Specification and Development in Z and B網(wǎng)絡(luò)公開度




書目名稱ZB 2002: Formal Specification and Development in Z and B網(wǎng)絡(luò)公開度學科排名




書目名稱ZB 2002: Formal Specification and Development in Z and B被引頻次




書目名稱ZB 2002: Formal Specification and Development in Z and B被引頻次學科排名




書目名稱ZB 2002: Formal Specification and Development in Z and B年度引用




書目名稱ZB 2002: Formal Specification and Development in Z and B年度引用學科排名




書目名稱ZB 2002: Formal Specification and Development in Z and B讀者反饋




書目名稱ZB 2002: Formal Specification and Development in Z and B讀者反饋學科排名

lobster

ZB 2002: Formal Specification and Development in Z and B978-3-540-45648-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

玉米棒子

0302-9743 Overview: Includes supplementary material: 978-3-540-43166-4978-3-540-45648-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

left-ventricle

gratify

https://doi.org/10.1007/3-540-45648-1B method; Formal methods; UML; Z notation; formal specification; formal verification; software constructio

冷峻

Didier Bert,Jonathan P. Bowen,Ken RobinsonIncludes supplementary material:

wreathe

ZB 2002: Formal Specification and Development in Z and B2nd International Co

TOXIC

Palter

Fissure