01191nam a22002651i 450099100211487970753620030411125531.0030925s1977 it |||||||||||||||||ita b12244119-39ule_instARCHE-029173ExLBiblioteca InterfacoltàitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.851.5San Martino d'Agliè, Ludovico384962Alvida ; La caccia :favole pastorali inedite /Ludovico San Martino d'Agliè ; a cura di Mariarosa MasoeroFirenze :Leo S. Olschki,1977201 p. ;24 cmTesti / Universita di Torino, Centro di studi di letteratura italiana in Piemonte Guido Gozzano ;2Masoero, Mariarosa.b1224411902-04-1408-10-03991002114879707536LE008 TS L IX 20512008000335090le008-E0.00-l- 00000.i1484109525-09-08LE002 It. XX H 1712002000098931le002-E0.00-l- 00000.i1262881508-10-03Alvida ; La caccia154183UNISALENTOle008le00208-10-03ma -itait 0202988nam 22006375 450 991097385500332120250813214850.01-4612-0931-510.1007/978-1-4612-0931-7(CKB)3400000000089327(SSID)ssj0000935125(PQKBManifestationID)11522488(PQKBTitleCode)TC0000935125(PQKBWorkID)10952640(PQKB)10367661(DE-He213)978-1-4612-0931-7(MiAaPQ)EBC3073761(EXLCZ)99340000000008932720121227d1992 u| 0engurnn|008mamaatxtccrThe Temporal Logic of Reactive and Concurrent Systems Specification /by Zohar Manna, Amir Pnueli1st ed. 1992.New York, NY :Springer New York :Imprint: Springer,1992.1 online resource (XIV, 427 p.) Bibliographic Level Mode of Issuance: Monograph0-387-97664-7 1-4612-6950-4 Includes bibliographical references and index.I: 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.Reactive 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.Computers, Special purposeComputer networksComputer scienceSpecial Purpose and Application-Based SystemsComputer Communication NetworksComputer Science Logic and Foundations of ProgrammingComputers, Special purpose.Computer networks.Computer science.Special Purpose and Application-Based Systems.Computer Communication Networks.Computer Science Logic and Foundations of Programming.004.6Manna Zoharauthttp://id.loc.gov/vocabulary/relators/aut25952Pnueli Amirauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910973855003321Temporal Logic of Reactive and Concurrent Systems337188UNINA01488nam2 22003253i 450 CFI016646720251003044128.0IT91-8705 20170901d1990 ||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrier2Artt. 30-65MilanoGiuffrè1990P. 516-92722 cm.001CFI01664532001 ˆLe ‰autonomie locali(Legge 8 giugno 1990, n. 142)Bardusco ... \et al.!con il coordinamento di Vittorio Italia e Mario Bassani2Enti localiOrdinamentoFIRCFIC045186E342.4509GOVERNO LOCALE. ITALIA20342.4509DIRITTO COSTITUZIONALE. GOVERNO LOCALE. ITALIA21Ordinamento giuridicoOrdinamentoOrdinamento giuridicoITIT-00000020170901IT-BN0095 CFI0166467Biblioteca Centralizzata di Ateneo1 v. 01D (AR) 7 278 01AR 0070072785 VMA 1 v.Y 2015051420150514v. 1-2 01GUERRAZZI B 1258 0101 0000099985 VMA (0002 v. 2Y 2008061820080618v. 1-2 (in 2 copie) 01GUERRAZZI B 1258 0101 0000101925 VMA (2bis v. 2 (2 copia)A 2009120920091209 01261340UNISANNIO