01738nlm0 22004811i 450 9900092405904033219783540318477000924059FED01000924059(Aleph)000924059FED0100092405920100926d2005----km-y0itay50------baengDEdrnn-008mamaaFormal Methods in Software and Systems ModelingRisorsa elettronicaEssays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayedited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele TaentzBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433393Documento elettronicoTestoFormato html, pdfKreowski,Hans-JörgMontanari,UgoOrejas,FernandoRozenberg,GrzegorzTaentzer,GabrieleITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b106390EB990009240590403321Computation by Abstract DevicesComputational complexityComputer scienceComputer ScienceDiscrete Mathematics in Computer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFormal Methods in Software and Systems Modeling772812UNINA