01622nlm0 22004571i 450 9900092476604033219783540752929000924766FED01000924766(Aleph)000924766FED0100092476620100926d2007----km-y0itay50------baengDEdrnn-008mamaaTheoretical Aspects of Computing – ICTAC 2007Risorsa elettronica4th International Colloquium, Macau, China, September 26-28, 2007. Proceedingsedited by Cliff B. Jones, Zhiming Liu, Jim WoodcockBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434711Documento elettronicoTestoFormato html, pdfJones,Cliff B.Liu,ZhimingWoodcock,JimITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-75292-9EB990009247660403321Computation by Abstract DevicesComputer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringTheoretical Aspects of Computing – ICTAC 2007771950UNINA