Bahan ajar ASK 401-3 : kapita selekta I model cheking

dc.contributor.author	Nugraheni, Cecilia Esti
dc.date.accessioned	2017-08-04T02:07:55Z
dc.date.available	2017-08-04T02:07:55Z
dc.date.issued	2005
dc.identifier.other	125948
dc.identifier.uri	http://hdl.handle.net/123456789/2824
dc.publisher	Jurusan Ilmu Komputer Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Katolik Parahyangan	en_US
dc.subject	model checking	en_US
dc.title	Bahan ajar ASK 401-3 : kapita selekta I model cheking	en_US
dc.type	Unpublished Lecture Papers	en_US