| 書(shū)目名稱 | ZB 2000: Formal Specification and Development in Z and B |
| 副標(biāo)題 | First International |
| 編輯 | Jonathan P. Bowen,Steve Dunne,Steve King |
| 視頻video | http://file.papertrans.cn/1061/1060397/1060397.mp4 |
| 概述 | Includes supplementary material: |
| 叢書(shū)名稱 | Lecture Notes in Computer Science |
| 描述 | This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000..The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.. |
| 出版日期 | Conference proceedings 2000 |
| 關(guān)鍵詞 | B Method; Formal Methods; Formal Verification; Hardware Verification; Resolution; Safety-Critical Systems |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-44525-0 |
| isbn_softcover | 978-3-540-67944-8 |
| isbn_ebook | 978-3-540-44525-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2000 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 00:01
發(fā)表于 2025-3-21 17:40:14
