UNPAR Institutional Repository
→
13. Unpublished Lecturer Paper
→
Informatics Engineering
→
Browsing Informatics Engineering by Subject

Browsing Informatics Engineering by Subject "model checking"

Now showing items 1-1 of 1

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

Nugraheni, Cecilia Esti (Jurusan Ilmu Komputer Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Katolik Parahyangan, 2005)

Now showing items 1-1 of 1

Search UNPAR-IR

Advanced Search

Browse

All of UNPAR Institutional Repository
This Collection
- By Issue Date
- Authors
- Titles
- Subjects
- Advisor

My Account