LEADER 03150nam 22006015 450 001 9910789343803321 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 $a9910789343803321 996 $aTemporal Logic of Reactive and Concurrent Systems$9337188 997 $aUNINA LEADER 03442nam 22005292 450 001 9910915724203321 005 20250102111333.0 010 $a9783657795420 010 $a3657795421 024 7 $a10.30965/9783657795420 035 $a(CKB)5590000000947868 035 $a(MiAaPQ)EBC30158412 035 $a(Au-PeEL)EBL30158412 035 $z(OCoLC)1310643976 035 $a(nllekb)BRILL9783657795420 035 $a(EXLCZ)995590000000947868 100 $a20220930d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdmiral Gustav Bachmann: Lebenserinnerungen und Tagebuch 1915 /$fGustav Bachmann, Klaus Franken 205 $a1st ed. 210 1$aPaderborn :$cFerdinand Scho?ningh, Brill Deutschland,$d2022. 210 4$d©2022 215 $a1 online resource (1061 pages) 225 1 $aSchriften zur Marinegeschichte ;$v3 225 1 $aSchöningh and Fink Literature and Culture Studies E-Books Online, Collection 2023 311 08$a9783506795427 311 08$a3506795422 320 $aIncludes bibliographical references and index. 327 $tPreliminary Material /$rAdmiral Gustav Bachmann -- Copyright page /$rAdmiral Gustav Bachmann -- Einleitung /$rAdmiral Gustav Bachmann -- Danksagung /$rAdmiral Gustav Bachmann -- 1 Gustav Bachmann: Biographie /$rAdmiral Gustav Bachmann -- 2 Edition: Lebenserinnerungen bis 1915 /$rAdmiral Gustav Bachmann -- 3 Edition: Tagebuch als Chef des Admiralstabes 1915 /$rAdmiral Gustav Bachmann -- 4 Edition: Lebenserinnerungen ? Fortsetzung /$rAdmiral Gustav Bachmann -- 5 Edition: Dienstschrift ?Der Admiralstab der Kaiserlichen Marine? (1935) /$rAdmiral Gustav Bachmann -- Quellen und Literatur /$rAdmiral Gustav Bachmann -- Personenregister /$rAdmiral Gustav Bachmann. 330 $aGustav Bachmann war ein Zeitzeuge der Entwicklung der Kaiserlichen Marine von 1876 bis 1918 und 1915 als Chef des Admiralstabes eine wichtige Person bei den Diskussionen um den uneingeschra?nkten U-Bootkrieg. Die fu?r die Familie ab den 1920er Jahren geschriebenen und bisher nicht zuga?nglichen Lebenserinnerungen sind ein faszinierendes Zeugnis nicht nur u?ber die Entwicklung der Kaiserlichen Marine ab 1876, ihre Organisation, Einsa?tze im Ausland und den Kolonien, die Ausbildung der Offiziere, einzelne Offiziere und den Einfluss Alfred v. Tirpitz? als Staatssekreta?r des Reichsmarineamtes. Auch die Zeit des 1. Weltkriegs, als Bachmann Chef der Marinestation der Ostsee und fu?r einige Monate Chef des Admiralstabes war, sowie das Ende der Marine im Oktober/November 1918 werden von Bachmann als Zeitzeuge geschildert. Das Tagebuch 1915 beschreibt im Detail die heftigen Auseinandersetzungen zwischen den fu?hrenden Marineoffizieren und Reichskanzler Theobald v. Bethmann-Hollweg sowie Kaiser Wilhelm II. 410 0$aSchriften zur Marinegeschichte ;$v3 410 0$aSchöningh and Fink Literature and Culture Studies E-Books Online, Collection 2023. 606 $aWorld War, 1914-1918$vPersonal narratives, German 615 0$aWorld War, 1914-1918 676 $a940 700 $aBachmann$b Gustav$01778141 702 $aFranken$b Klaus 801 0$bNL-LeKB 801 1$bNL-LeKB 906 $aBOOK 912 $a9910915724203321 996 $aAdmiral Gustav Bachmann: Lebenserinnerungen und Tagebuch 1915$94300741 997 $aUNINA