| 书目名称 | ZB 2000: Formal Specification and Development in Z and B |
| 副标题 | First International |
| 编辑 | Jonathan P. Bowen,Steve Dunne,Steve King |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | 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 |
| 关键词 | 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 |
发表于 2025-3-21 17:40:14
