LEADER 02988nam  22006375  450 
001 9910973855003321
005 20250813214850.0
010   $a1-4612-0931-5
024 7 $a10.1007/978-1-4612-0931-7
035   $a(CKB)3400000000089327
035   $a(SSID)ssj0000935125
035   $a(PQKBManifestationID)11522488
035   $a(PQKBTitleCode)TC0000935125
035   $a(PQKBWorkID)10952640
035   $a(PQKB)10367661
035   $a(DE-He213)978-1-4612-0931-7
035   $a(MiAaPQ)EBC3073761
035   $a(EXLCZ)993400000000089327
100   $a20121227d1992      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 14$aThe Temporal Logic of Reactive and Concurrent Systems $eSpecification /$fby Zohar Manna, Amir Pnueli
205   $a1st ed. 1992.
210  1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d1992.
215   $a1 online resource (XIV, 427 p.) 
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a0-387-97664-7 
311 08$a1-4612-6950-4 
320   $aIncludes bibliographical references and index.
327   $aI: Models of Concurrency -- 1: Basic Models -- 2: Modeling Real Concurrency -- II: Specifications -- 3: Temporal Logic -- 4: Properties of Programs -- References -- Index to Symbols -- General Index.
330   $aReactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.
606   $aComputers, Special purpose
606   $aComputer networks
606   $aComputer science
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer Communication Networks
606   $aComputer Science Logic and Foundations of Programming
615  0$aComputers, Special purpose.
615  0$aComputer networks.
615  0$aComputer science.
615 14$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Communication Networks.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a004.6
700   $aManna$b Zohar$4aut$4http://id.loc.gov/vocabulary/relators/aut$025952
702   $aPnueli$b Amir$4aut$4http://id.loc.gov/vocabulary/relators/aut
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910973855003321
996   $aTemporal Logic of Reactive and Concurrent Systems$9337188
997   $aUNINA