01448nlm0 22004091i 450 9900092422604033219783540708810000924226FED01000924226(Aleph)000924226FED0100092422620100926d2007----km-y0itay50------baengDEdrnn-008mamaaPerspectives of Systems InformaticsRisorsa elettronica6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papersedited by Irina Virbitskaite, Andrei VoronkovBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434378Documento elettronicoTestoFormato html, pdfVirbitskaite,IrinaVoronkov,AndreiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-70881-0EB990009242260403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringPerspectives of Systems Informatics772385UNINA