Unifying Theories of Programmingde Jonathan P. Bowen, Huibiao ZhuMateriasComputer programmingEdiciones (1)Unifying Theories of Programming (2017)Springer · ISBN 9783319522272Más obras de Jonathan P. BowenThe Z formal specification notationZB 2003High-Integrity System Specification and Design