LEADER 03150nam  22006015  450 
001 9910480246703321
005 20200702145353.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$b[electronic resource] $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   $a0-387-97664-7 
311   $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   $aSpecial purpose computers
606   $aComputer communication systems
606   $aComputer logic
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aSpecial purpose computers.
615  0$aComputer communication systems.
615  0$aComputer logic.
615 14$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Communication Networks.
615 24$aLogics and Meanings of Programs.
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
906   $aBOOK
912   $a9910480246703321
996   $aTemporal Logic of Reactive and Concurrent Systems$9337188
997   $aUNINA