NOTASI Z DALAM SPESIFIKASI FORMAL PROGRAM APLIKASI SMART CARD

Priyasta, Dwidharma and Sarinanto, Mohammad Mustafa (2002) NOTASI Z DALAM SPESIFIKASI FORMAL PROGRAM APLIKASI SMART CARD. Proceedings Komputer dan sistem Intelejen(KOMMIT2002).

[img]
Preview
Text
NOTASI Z DALAM SPESIFIKASI FORMAL PROGRAM APLIKASI SMART CARD_UG.pdf - Submitted Version

Download (5Mb) | Preview

Abstract

Notasi Z telah diakui kehandalannya sebagai alat bantu pembuatan dokumen spesifikasi formal dalam proses pengembangan suatu program aplikasi.

Item Type: Article
Uncontrolled Keywords: notasi Z; spesifikasi formal; skema Z; smart card; fuzz2000;
Subjects: A General Works > AI Indexes (General)
Divisions: Fakultas Teknologi Industri > Program Studi Teknik Elektro
Depositing User: Mr Reza Chandra
Date Deposited: 27 Feb 2014 08:02
Last Modified: 27 Feb 2014 08:02
URI: http://repository.gunadarma.ac.id/id/eprint/237

Actions (login required)

View Item View Item