The temporal logic of reactive and concurrent systems
Uložené v:
| Hlavní autori: | , |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
New York ; Tokyo
Springer-Verlag
1992
|
| Predmet: | |
| ISBN: | 9780387976648, 3540976647, 0387976647, 9783540976646 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Author | Pnueli, A. (Amir) Manna, Zohar |
|---|---|
| Author_xml | – sequence: 1 fullname: Manna, Zohar – sequence: 2 fullname: Pnueli, A. (Amir) |
| BackLink | https://cir.nii.ac.jp/crid/1130000795217602432$$DView record in CiNii |
| BookMark | eNotT01LxDAUDOjC6tr_kIPXQt5Lk5ccZfELFrwsXiUfr1qpqTRV8N_bRecwc5hhhrkU52UqfCYaT05pR56s7dxGbD0odOBgK5pa39UKrw2guRDm-MZy4Y_PaQ6jHKfXIcmplzOHtAzfLEPJMk0lfc0zl0XWn7qG65XY9GGs3PzrTjzf3R73D-3h6f5xf3NoA1iFunWRmHujVI6YrLWEFLWJoHKmjAYMRtsFMJrRewzE0WS_2qwpQ8pR78T1X3EZhpc0nBhAnw6QNwi0rnQa9S-mj0OD |
| ContentType | Book |
| DBID | RYH |
| DatabaseName | CiNii Complete |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| ExternalDocumentID | BA13583197 |
| GroupedDBID | 38. 50X AABBV AARNW ABARN ABQPQ ABWRD ACFJL ACLGV ADHHQ ADVEM AEKFX AERYV AFOJC AGEPW AGEUI AHWGJ AIBNY AJFER AKVJN ALMA_UNASSIGNED_HOLDINGS AURUN AZZ BBABE CZZ GEOUK I4C JJU NIOIY NYYHL RYH SBO SYRPR ~1X ~54 |
| ID | FETCH-LOGICAL-a16023-8b7eef500db2c666727b35b10dd7d25152b64a153e2992a7eb5d9b10e37d1cdb3 |
| ISBN | 9780387976648 3540976647 0387976647 9783540976646 |
| IngestDate | Tue Sep 02 05:11:50 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCN | 91028181 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a16023-8b7eef500db2c666727b35b10dd7d25152b64a153e2992a7eb5d9b10e37d1cdb3 |
| Notes | Includes bibliographical references and index |
| ParticipantIDs | nii_cinii_1130000795217602432 |
| PublicationCentury | 1900 |
| PublicationDate | c1992- |
| PublicationDateYYYYMMDD | 1992-01-01 |
| PublicationDate_xml | – year: 1992 text: c1992- |
| PublicationDecade | 1990 |
| PublicationPlace | New York ; Tokyo |
| PublicationPlace_xml | – name: New York ; Tokyo |
| PublicationYear | 1992 |
| Publisher | Springer-Verlag |
| Publisher_xml | – name: Springer-Verlag |
| SSID | ssj0000935125 |
| Score | 1.7803336 |
| SourceID | nii |
| SourceType | Publisher |
| SubjectTerms | Electronic digital computers -- Programming Logic, Symbolic and mathematical |
| Title | The temporal logic of reactive and concurrent systems |
| URI | https://cir.nii.ac.jp/crid/1130000795217602432 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bS8MwFA5uKiiCOhVvkzz4JpVek_ZxylQQ5h6mDF-kTVIsaCe7yH6-X7q0m0MQH3wJTQIpPYck3zmn5zuEnOOGdUKJ0y_1XRgonrCtWKSwWrkfMRjbkW-LotgE73TCfj_qmsoxo6KcAM_zcDqNPv5V1RiDsnXq7B_UXS2KATxD6WihdrRLiLjqzjVumKbeLoojTSNBgMLiSDMJbLkwhEyjBaryeFYsucCRz4PXuPpht5tP1Cx_unWpsWjrPRuWvgNpcufcJVfBT67C0pLUUWwgEzajvVyioL5qOV4QYrPyGqlxBht39bb98HhfObN0NBVIyUTDi3W4SaQpO1vfXrJe-ZyKviZ8ybNs4Wbv7ZC6zvbYJSsqb5DtssYFNUdeg2wuEDbukQAypqWMaSFjOkhpKWMKGdO5jKmR8T55umn3ru8sU3jCih0GEGOFCVcqDWxbJq6AgQeQl3hB4thScglEGLgJ82NcFgq3uRtzlQQywrTyuHSETLwDUs8HuTokVHEhmY2doHmAvChOnFAAsknOVIoZ54g08eUvItOto4OLQG0RQBVnmizSPf5l_oRszFV9Surj4UQ1yZr4HGej4ZlR1BcvhQte |
| linkProvider | ProQuest Ebooks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=The+temporal+logic+of+reactive+and+concurrent+systems&rft.au=Manna%2C+Zohar&rft.au=Pnueli%2C+A.+%28Amir%29&rft.date=1992-01-01&rft.pub=Springer-Verlag&rft.isbn=9780387976648&rft.externalDocID=BA13583197 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780387976648/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780387976648/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780387976648/sc.gif&client=summon&freeimage=true |