01379nam 2200421 450 991052008040332120220906230843.03-030-86152-X(MiAaPQ)EBC6840164(Au-PeEL)EBL6840164(CKB)20443697100041(PPN)260307440(EXLCZ)992044369710004120220906d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFunctional safety and proof of compliance /Thor Myklebust and Tor StålhaneCham, Switzerland :Springer,[2022]©20221 online resource (284 pages)Print version: Myklebust, Thor Functional Safety and Proof of Compliance Cham : Springer International Publishing AG,c2022 9783030861513 Electronic data processingManagementSoftware engineeringManagementElectronic data processingManagement.Software engineeringManagement.005.1068Myklebust Thor993473Stålhane TorMiAaPQMiAaPQMiAaPQBOOK9910520080403321Functional Safety and Proof of Compliance2581364UNINA01179nam0 22003131i 450 UON0023201520231205103506.97303-87809-95-332-11-80995-320030730d1971 |0itac50 baengAT|||| ||||| Temporal LogicNicholas Rescher and Alasdair UrquhartWienNew YorkSpringer-Verlag1971XVIII, 273 p.23 cm.001UON001770762001 Library of Exact PhilosophyEditor Mario Bunge210 WienNew YorkSpringer-Verlag.3LogicaUONC024361FIUSNew YorkUONL000050ATWienUONL003140160Logica21RESCHERNicholasUONV01341950144URQUHARTAlasdairUONV14061558574ITSOL20250606RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00232015SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI FS 03076 SI LO 21025 5 Temporal logic1062611UNIOR