ZB 2000: Formal Specification and Development in Z and B
Goos, Gerhard.
ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540445258
Computer science.; Software engineering.; Logic design.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Formal Languages.
ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540445258
Computer science.; Software engineering.; Logic design.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Formal Languages.