Applied formal verification
tr, c.1-2/stoc3=c.1-2
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Sirkulasi |
| Language: | Inggris |
| Published: |
McGraw Hill Companies
2005
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
uinsukalib-062873 |
|---|---|
| record_format |
oai_dc |
| spelling |
uinsukalib-0628732009-07-01Applied formal verificationDouglas L. PerryHarry D. FosterKOMPUTER - BAHASA PEMROGRAMANtr, c.1-2/stoc3=c.1-2McGraw Hill Companies2005Sirkulasixiv, 237; 23tr, .01-.02ISBN:0-07-144372-XInggris |
| institution |
Universitas Islam Negeri Sunan Kalijaga |
| collection |
Perpustakaan Yogyakarta |
| language |
Inggris |
| topic |
KOMPUTER - BAHASA PEMROGRAMAN |
| spellingShingle |
KOMPUTER - BAHASA PEMROGRAMAN Douglas L. Perry Harry D. Foster Applied formal verification |
| description |
tr, c.1-2/stoc3=c.1-2 |
| format |
Sirkulasi |
| author |
Douglas L. Perry Harry D. Foster |
| author_facet |
Douglas L. Perry Harry D. Foster |
| author_sort |
Douglas L. Perry |
| title |
Applied formal verification |
| title_short |
Applied formal verification |
| title_full |
Applied formal verification |
| title_fullStr |
Applied formal verification |
| title_full_unstemmed |
Applied formal verification |
| title_sort |
applied formal verification |
| physical |
xiv, 237; 23 |
| publisher |
McGraw Hill Companies |
| publishDate |
2005 |
| callnumber-raw |
tr, .01-.02 |
| callnumber-search |
tr, .01-.02 |
| isbn |
ISBN:0-07-144372-X |
| _version_ |
1741225596357181440 |