Skip to content
Toggle navigation
Tentang IOS
Join Us
Hubungi Kami
Organisasi Mitra
Akun Anda
Keluar
Masuk
Bahasa Indonesia
Bahasa Indonesia
English
Semua Kolom
Judul
Pengarang
Subject
Call Number
ISBN/ISSN
Tag
Cari
Lanjutan
Retain current filters
topic_facet:"data flow graph"
Cari:
Koleksi Nasional
Menampilkan
1
-
1
of
1
untuk pencarian:
''
, lama mencari: 0.40s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Data and Control Flow Analysis of VDMμ Specifications
Article
Journal
oleh
Mubina Nazmeen
,
Iram Rubab
Terbitan:
2010
Institusi:
ZAIN Publications
Gedung:
Cognizance Journal of Multidisciplinary Studies
Lokasi
Repository
IOS Number
Stockholm
Cognizance Journal of Multidisciplinary Studies
IOS16997.1079488
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Persempit Pencarian
Hapus Filter
Topik: data flow graph
Sektor
1
Library
Special
1
Institusi
1
ZAIN Publications
Koleksi
1
Cognizance Journal of Multidisciplinary Studies
Format
1
Journal
Article
1
Journal
1
Topik
1
VDM-SL
1
VDMμ
1
control flowgraph
data flow graph
1
formal specification
1
testing
Pengarang
1
Iram Rubab
1
Mubina Nazmeen
Bahasa
1
eng
Tahun
1
2010
×
Loading...
