File:SM&D-KAR.pdf

SM&D-KAR.pdf ‎(file size: 926 KB, MIME type: application/pdf)

System Modelling & Design is an uncompleted textbook on Event-B by Ken Robinson.

Please send any comments or corrections to k.robinson@unsw.edu.au

File history

Yi efo/eka'e gwa ebo wo le nyangagi wuncin ye kamina wunga tinya nan

	Gwalagizhi	Dimensions	User	Comment
current	20:49, 30 April 2020	(926 KB)	Maintenance script (talk \| contribs)

You cannot overwrite this file.

There are no pages that use this file.