|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
EBOOKCENTRAL_ocn958521667 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr |n|---||||| |
| 008 |
160917s1992 nyu o 000 0 eng d |
| 040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d OCLCQ
|d YDX
|d OCLCQ
|d LOA
|d OCLCO
|d OCLCF
|d K6U
|d OCLCO
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 968552710
|
| 020 |
|
|
|a 9781461209317
|
| 020 |
|
|
|a 1461209315
|
| 020 |
|
|
|z 1461269504
|
| 020 |
|
|
|z 9781461269502
|
| 035 |
|
|
|a (OCoLC)958521667
|z (OCoLC)968552710
|
| 050 |
|
4 |
|a QA76.6
|b .M366 1992
|
| 082 |
0 |
4 |
|a 005.1
|2 20
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Manna, Zohar.
|
| 245 |
1 |
0 |
|a Temporal Logic of Reactive and Concurrent Systems :
|b Specification.
|
| 250 |
|
|
|a N.
|
| 260 |
|
|
|a New York :
|b Springer New York,
|c 1992.
|
| 300 |
|
|
|a 1 online resource (431 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a The Temporal Logic of Reactive and Concurrent Systems; Copyright; Preface; Contents; Part I Models of Concurrency; Chapter 1 Basic Models; Chapter 2 Modeling Real Concurrency; Part II Specifications; Chapter 3 Temporal Logic; Chapter 4 Properties of Programs; References; Index to Symbols; General Index.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
|
6 |
|a Programmation (Informatique)
|
| 650 |
|
6 |
|a Logique symbolique et mathématique.
|
| 650 |
|
7 |
|a computer programming.
|2 aat
|
| 650 |
|
7 |
|a Computer programming
|2 fast
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical
|2 fast
|
| 700 |
1 |
|
|a Pnueli, Amir.
|
| 776 |
0 |
8 |
|i Print version:
|a Manna, Zohar.
|t Temporal Logic of Reactive and Concurrent Systems : Specification.
|d New York : Springer New York, ©1992
|z 9781461269502
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3073761
|z Texto completo
|
| 936 |
|
|
|a BATCHLOAD
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3073761
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 13338100
|
| 994 |
|
|
|a 92
|b IZTAP
|
