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.7803345 |
| 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_JnnwTSrrR5L2ccpUUOYe5hi-SPNRLGgm-5D9-V6ytJtDEB98CU1SUnpHk9_d9X6H0LkShv-RcC-SnHkRU5nHYw5WK6FCZiTlyvIU9B5Yux33-0nHVY4Z2XICTOt4Ok0-_lXVMAbKNqmzf1B3uSgMwDUoHVpQO7RLiLjszjXumKbeLuyWZpAggEK7pbkENi0cIdNogao8nRVLtjjyefCalj_sdvREzfKnm5cGizbf82HhO5Audy5YchX85CosLEkTxQZkQme0l0sU1FdNPyQxfKysgiqMgo27ett6fLovnVkmmgpIyUXD7TrMJdIUna1vD1kvfU62bwhfdJ4vnOzdHVQ12R67aEXpGtoualxgt-XV0OYCYeMeIiBjXMgYWxnjQYYLGWOQMZ7LGDsZ76PeTat7fee5whNe6lMAMV7MmVIZaTQkDwQYeADyeEi435CSSUCEJOA0SuGwUHCaBylTnMgEplXIpC8kDw9QVQ-0OkSY-CIIeQjAKlIR3B77VKRE0oyEJAka6gjV4c1fRG5a3wQXAbUlAKoYNWSRwfEv8ydoY67qU1QdDyeqjtbE5zgfDc-cor4Ad24MVw |
| 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 |