COMP426: Computer Science: Formal Software Development

dc.contributor.author	Groves, Lindsay
dc.date.accessioned	2012-10-09T21:59:12Z
dc.date.accessioned	2021-03-15T21:27:44Z
dc.date.available	2012-10-09T21:59:12Z
dc.date.available	2021-03-15T21:27:44Z
dc.date.issued	2005
dc.identifier.uri	https://ir.wgtn.ac.nz/handle/123456789/2027
dc.format	pdf	en_NZ
dc.language	en_NZ
dc.language.iso	en_NZ
dc.publisher	Victoria University of Wellington	en_NZ
dc.subject	Computer Science	en_NZ
dc.title	COMP426: Computer Science: Formal Software Development	en_NZ
dc.type	Text	en_NZ
vuwschema.contributor.unit	School of Mathematics, Statistics and Operations Research / Te Kura Tatau	en_NZ
vuwschema.contributor.unit	Faculty of Science / Te Wāhanga Pūtaiao	en_NZ
dc.subject.course	COMP426	en_NZ
dc.subject.course	COMP 426	en_NZ
dc.subject.course	exam	en_NZ
dc.title.short	Formal Software Development	en_NZ
dc.date.semester	2005:1