| Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings 2003 Edition Contributor(s): Bert, Didier (Editor), Bowen, Jonathan P. (Editor), King, Steve (Editor) |
|
 |
ISBN: 3540402535 ISBN-13: 9783540402534 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback Published: May 2003 |
| Additional Information |
| BISAC Categories: - Computers | Programming Languages - General - Computers | Software Development & Engineering - General - Computers | Logic Design |
| Dewey: 005.133 |
| LCCN: 2003052988 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 1.15" H x 6.14" W x 9.21" (1.73 lbs) 554 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies. |