The temporal logic of reactive and concurrent systems
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
New York ; Tokyo
Springer-Verlag
1992
|
| Témata: | |
| ISBN: | 9780387976648, 3540976647, 0387976647, 9783540976646 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| 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.7804066 |
| 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/eLvHCXMwtV3dS8MwEA-uKiiCOhW_JnnwTSpNP5L2ccpUEOYepgxfJF_DgnayD9mf7yVLuzkE8cGX0CTQ0vuluV_uencIndNESMYi4tNEBn7MNfO5SrkPuglWkJaxDIQtNsHa7bTXyzqucszIlhNgRZFOp9nHv0INYwC2CZ39A9zVTWEArgF0aAF2aJcYcdWdI-4yTb1d2C3NMEEghXZLcwFshXQJmUYLqcr5rFiy5ZHPg1de_bDbKSZ6Fj_dvDRctPmeD0vbgXKxc-GSqeAnU2F5kjRebGAmdJb2cikF9VWTREkKHyuroRqcTzy0ett6eLyvjFnGmwpMyXnD7X2YC6QpO1vfHrJe2Zxs3yR8KfJ8QbN3d5Bnoj120You6mi7rHGB3ZZXR5sLCRv3UAIyxqWMsZUxHvRxKWMMMsZzGWMn4330dNPqXt_5rvCEzwkFEuOngmndT4JAiVDCAQ9InogSQQKlmAJGmISCxhyUhQZtHnKmRaIymNYRU0QqER0grxgU-hBhIsyyzwLaFzIOBOOC8yzifcI4zQQlR6gBb_4ic9MS41wE1pYBqWLUJIsMj3-ZP0Ebc6hPkTceTnQDrcnPcT4anjmgvgCqDwx0 |
| 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 |