Jonathan P. Bowen

High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology)

Jonathan P. Bowen

$60.57

ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Jonathan P. Bowen

$109.99

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 (Lecture Notes in Computer Science)

Jonathan P. Bowen

$60.74

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Jonathan P. Bowen

$19.69 - $169.99

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 (Lecture Notes in Computer Science)

Jonathan P. Bowen

$109.99

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science, 12154)

Jonathan P. Bowen

$59.78