ZB 2005: Formal Specification and Development in Z and BHelen Treharne, Steve King, Martin Henson, Steve SchneiderHäftad, 20051 114 kr
ZB 2005: Formal Specification and Development in Z and BSteve Schneider, Martin Henson, Steve King, Helen Treharne E-bok20051 408 kr
Integrated Formal MethodsJohn Derrick, Stefania Gnesi, Diego Latella, Helen TreharneHäftad, 2012561 kr
ZB 2005: Formal Specification and Development in Z and BHelen Treharne, Steve King, Martin Henson, Steve SchneiderHäftad, 20051 114 kr
ZB 2005: Formal Specification and Development in Z and BSteve Schneider, Martin Henson, Steve King, Helen Treharne E-bok20051 408 kr
Integrated Formal MethodsJohn Derrick, Stefania Gnesi, Diego Latella, Helen TreharneHäftad, 2012561 kr