|
|
|
|
| LEADER |
00000cam a2200000xa 4500 |
| 001 |
b11776233 |
| 006 |
m o d |
| 007 |
cr ||||||||||| |
| 008 |
100318s1982 gw a ob 001 0 eng d |
| 005 |
20240418143221.3 |
| 019 |
|
|
|a 150394064
|a 326962559
|a 1239220749
|
| 020 |
|
|
|a 9783540390343
|q (electronic bk.)
|
| 020 |
|
|
|a 3540390340
|q (electronic bk.)
|
| 020 |
|
|
|z 3540112057
|
| 020 |
|
|
|z 9783540112051
|
| 020 |
|
|
|z 0387112057
|q (pbk.)
|
| 020 |
|
|
|z 9780387112053
|q (pbk.)
|
| 035 |
|
|
|a (OCoLC)spr562960941
|
| 035 |
|
|
|a (OCoLC)562960941
|z (OCoLC)150394064
|z (OCoLC)326962559
|z (OCoLC)1239220749
|
| 037 |
|
|
|a spr3-540-11205-7
|
| 040 |
|
|
|a OCLCE
|b eng
|e pn
|c OCLCE
|d OCLCQ
|d OCLCO
|d NLGGC
|d CUSER
|d CUS
|d OCLCQ
|d GW5XE
|d OCLCF
|d GW5XE
|d ITD
|d OCL
|d OCLCQ
|d OCL
|d OCLCQ
|d ESU
|d AU@
|d OCLCQ
|d EUX
|d OCLCQ
|
| 042 |
|
|
|a dlr
|
| 049 |
|
|
|a GWRE
|
| 050 |
|
4 |
|a QA76.6
|b .H295
|
| 100 |
1 |
|
|a Hailpern, Brent T.
|q (Brent Tzion),
|d 1955-
|0 http://id.loc.gov/authorities/names/n82019075
|1 http://isni.org/isni/0000000109717743.
|
| 245 |
1 |
0 |
|a Verifying concurrent processes using temporal logic
|h [electronic resource] /
|c Brent T. Hailpern.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c 1982.
|
| 300 |
|
|
|a 1 online resource (viii, 208 pages) :
|b illustrations.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia.
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 129.
|
| 504 |
|
|
|a Includes bibliographical references (pages 203-208) and index.
|
| 505 |
0 |
|
|a Programming environment -- Verification -- Temporal logic -- 5. Techniques -- Network protocols -- Resource allocation -- Conclusion.
|
| 588 |
0 |
|
|a Print version record.
|
| 650 |
|
0 |
|a Parallel processing (Electronic computers)
|0 http://id.loc.gov/authorities/subjects/sh85097826.
|
| 650 |
|
0 |
|a Computer programs
|x Verification.
|0 http://id.loc.gov/authorities/subjects/sh85029528.
|
| 650 |
|
7 |
|a Computer programs
|x Verification.
|2 fast
|0 (OCoLC)fst00872448.
|
| 650 |
|
7 |
|a Parallel processing (Electronic computers)
|2 fast
|0 (OCoLC)fst01052928.
|
| 776 |
0 |
8 |
|i Print version:
|a Hailpern, Brent T. (Brent Tzion), 1955-
|t Verifying concurrent processes using temporal logic.
|d Berlin ; New York : Springer-Verlag, 1982
|w (DLC) 82000856
|w (OCoLC)8219232.
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 129.
|0 http://id.loc.gov/authorities/names/n42015162.
|
| 856 |
4 |
0 |
|u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/3-540-11205-7
|z Full Text (via Springer)
|
| 907 |
|
|
|a .b117762337
|b 05-03-21
|c 04-05-21
|
| 998 |
|
|
|a web
|b 04-30-21
|c b
|d b
|e -
|f eng
|g gw
|h 0
|i 1
|
| 907 |
|
|
|a .b117762337
|b 05-03-21
|c 04-05-21
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 915 |
|
|
|a -
|
| 956 |
|
|
|a Springer e-books
|
| 956 |
|
|
|b Springer Nature - Springer Book Archive - Springer Computer Science
|
| 999 |
f |
f |
|i 69fc7124-aa79-5cf3-b9fe-f9b7410c836b
|s 0ae7c494-51be-5165-b220-8d4fa2ecfa39
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Online
|c Online
|d Online
|e QA76.6 .H295
|h Library of Congress classification
|i web
|n 1
|
