ZB 2000: Formal Specification and Development in Z and B
Subtitle: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: Jonathan P. Bowen (Editor); Steve Dunne (Editor); Andy Galloway (Editor); Steve King (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 2, 2000
Language: eng
Format: Paperback
Number of pages: 510
ISBN-13: 9783540679448
Subjects: Software engineering; Computer Programming Languages; Computers; Medical / Nursing; Computer Books: General; General; Programming - Software Development; Programming Languages - General; B Method; Computers / Programming / Software Development; Formal Methods; Formal Specification; Formal Verification; Hardware Verification; Safety-Critical Systems; Software Construction; Software Design; B (Computer program language); Congresses; Z (Computer program language)