El programa acreditado específicamente diseñado para ofrecer al especialista en medicina familiar y comunitaria y a los médicos de atención primaria los avances científico-técnicos más relevantes en todos sus ámbitos de actuación. Indexado en IME, IBECS y SCOPUS.10 números acreditados al año1 curso acreditado5 protocolos acreditadosCD-ROM recopilatorio4 suplementos de AtenciónCD-ROM multimedia formativo Primaria Basada en la EvidenciaPara más información, consulte http://www.elsevier.es/fmc
This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research.  Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.
The term 'formal methods' has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method. Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions. However, the most profound and lasting influence of the formal app
Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.