Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1878)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (29 papers)
Editors and Affiliations
Bibliographic Information
Book Title: ZB 2000: Formal Specification and Development in Z and B
Book Subtitle: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Editors: Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-44525-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2000
Softcover ISBN: 978-3-540-67944-8Published: 16 August 2000
eBook ISBN: 978-3-540-44525-8Published: 26 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 510
Topics: Software Engineering/Programming and Operating Systems, Software Engineering, Logics and Meanings of Programs, Programming Techniques, Mathematical Logic and Formal Languages