ZB 2002: Formal Specification and Development in Z and B: 2nd International Conf

商家名称	信用等级	购买信息	订购本书
		ZB 2002: Formal Specification and Development in Z and B: 2nd International Conf
		ZB 2002: Formal Specification and Development in Z and B: 2nd International Conf

基本信息·出版社：Springer; 1 edition
·页码：535 页
·出版日期：2002年03月
·ISBN：3540431667
·条形码：9783540431664
·装帧：平装
·丛书名：Lecture Notes in Computer Science
·外文书名：ZB 2002:Z与B的形式说明与发展

内容简介 在线阅读本书

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three 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 is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.

查看更多 下一篇