| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
in00001237353 |
| 005 |
20151003062415.0 |
| 008 |
941109s1995 njua b 001 0 eng |
| 010 |
|
|
|a 94042672
|
| 020 |
|
|
|a 0691034362
|
| 035 |
|
|
|a (OCoLC)31607379
|
| 035 |
|
|
|9 AGS7656AM
|
| 040 |
|
|
|a DLC
|c DLC
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
0 |
0 |
|a TS183.3
|b .K87 1994
|
| 082 |
0 |
0 |
|a 670.42
|2 20
|
| 100 |
1 |
|
|a Kurshan, R. P.,
|d 1943-
|
| 245 |
1 |
0 |
|a Computer-aided verification of coordinating processes :
|b the automata-theoretic approach /
|c Robert P. Kurshan.
|
| 264 |
|
1 |
|a Princeton, N.J. :
|b Princeton University Press,
|c [1994]
|
| 264 |
|
4 |
|c ©1994
|
| 300 |
|
|
|a xii, 270 pages :
|b illustrations ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a Princeton series in computer science
|
| 504 |
|
|
|a Includes bibliographical references (pages 241-262) and index.
|
| 650 |
|
0 |
|a Manufacturing processes
|x Planning
|x Data processing.
|
| 650 |
|
0 |
|a Computational complexity.
|
| 650 |
|
0 |
|a Expert systems (Computer science)
|x Verification.
|
| 650 |
|
0 |
|a System design.
|
| 830 |
|
0 |
|a Princeton series in computer science.
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 6e4716be-492a-303a-a150-9eae2bd8471b
|i b6dfb30d-f6cc-3e12-b726-068928307868
|t 0
|
| 952 |
f |
f |
|p ric
|a Texas A&M University
|b Rellis Campus
|c Joint Library Facility
|d Remote Storage
|t 0
|e TS183.3 .K87 1994
|h Library of Congress classification
|i unmediated -- volume
|m A14819167272
|
| 998 |
f |
f |
|a TS183.3 .K87 1994
|t 0
|l Remote Storage
|