ZB 2000: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (2000) (Lecture Notes in Computer Science #1878)

By: Jonathan P. Bowen and Steve Dunne and Andy Galloway and Steve King

Sign Up Now! Already a Member? Log In
You must be logged into UK education collection to access this title. Learn about membership options, or view our freely available titles.

Synopsis: 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.

Book Quality:: Publisher Quality
ISBN-13:: 9783540445258
Related ISBNs:: 9783540679448
Publisher:: Springer Berlin Heidelberg
Date of Addition:: 08/05/22
Copyrighted By:: N/A
Adult content:: No
Language:: English
Has Image Descriptions:: No
Categories:: Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
Submitted By:: Bookshare Staff
Usage Restrictions:: This is a copyrighted book.
Edited by:: Jonathan P. Bowen
Edited by:: Steve Dunne
Edited by:: Andy Galloway
Edited by:: Steve King