The temporal logic of reactive and concurrent systems
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
New York ; Tokyo
Springer-Verlag
1992
|
| Schlagworte: | |
| ISBN: | 9780387976648, 3540976647, 0387976647, 9783540976646 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| 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/eLvHCXMwtV3dS8MwEA9uKiiCOhW_JnnwTSr9StM-TpkKytzDHMMXyVexoJlsKvvzvWRpN4cgPvgSmgRSetfmfnfp_Q6hU0AccZb7zIN3g3gxmDQvFYR4CeHGHsWSWVKf_h3tdNLBIOu6yjFjW06Aap1OJtnbv6oaxkDZJnX2D-quFoUBuAalQwtqh3YBEVfdmcYd09TLmd3SDBIEUGi3NJfApoUjZBrPUZWzabFkiyMfh8-s-mG3qz_UNH-6dW6waOu1GJWxA-ly58KFUMFPocLSkzSn2IBMkint5QIF9UUriEgKHyutoRpNwMddvm7fP9xWwSxzmgpIyZ2G23WoS6QpOxvfbrJaxZxs3xC-6KKYs-y9LVQ32R7baEnpBtosa1xgt-U10PocYeMOIiBjXMoYWxnjYY5LGWOQMZ7JGDsZ76L-Vbt3eeO5whMeCxIAMV7KqVI58X3JQwEOHoA8HhEe-FJSCYiQhDyJGRgLBdY8ZFRxIjOYVhGVgZA82kN1PdRqH-EI_GEpZRKxgIMrLAwfmogDRlTk53mcHaAmPPmTKEwbmMNFQG0ZgCqaGLLI8PCX-SO0NlP1Maq_jz5UE62Iz_diPDpxivoC7okLFw |
| 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 |