|
[Linear|ISBD|MARC
Tags]
|
| |
|
Control Number : |
00002180 |
|
Accession Number : |
00003956 |
|
Location : |
PERPUSTAKAAN UTAMA |
|
Item Category : |
PINJAMAN |
| 020
|
ISBN : |
020 |a0201627574 |
| 090
|
Call Number : |
090 |a005.12|bWOR |
|
100 |
Main Entry (Personal Name)
: |
100 1 |aWORDSWORTH, J.B |
|
245 |
Title & Staement of
Responsibility : |
245 10 |aSoftware Development With Z |
| 260
|
Publication & Distribution Area : |
260 |aHarlow|bAddison Wesley|c1992 |
| 300
|
Physical Description Area : |
300 |axii, 334|c23cm |
| 440
|
Series Statement (Traced) : |
440 |aINTERNATIONAL COMPUTER SCIENCE SERIES |
|
650 |
Topical Headings (Topic)
: |
|a2.APractical Approach To Formal Methods In Software...
|
| |
|
|
| |
|
