01549nlm0 22004451i 450 9900092377004033219783540749646000923770FED01000923770(Aleph)000923770FED0100092377020100926d2007----km-y0itay50------baengDEdrnn-008mamaaDomain Modeling and the Duration CalculusRisorsa elettronicaInternational Training School, Shanghai, China, September 17-21. 2007, Advanced Lecturesedited by Chris W. George, Zhiming Liu, Jim WoodcockBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434710Documento elettronicoTestoFormato html, pdfGeorge,Chris W.Liu,ZhimingWoodcock,JimITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-74964-6EB990009237700403321Algorithm Analysis and Problem ComplexityComputer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceComputer softwareLogic designLogics and Meanings of ProgramsSoftware engineeringSoftware EngineeringDomain Modeling and the Duration Calculus772613UNINA