Following fields are empty!


1
Search
2
Select
3
Submit
426
Journals

Request Journal

Please fill in the form to request a new journal to be added. We will review your request and add it to the Journal Guide as soon as possible.


*

Formal Aspects of Computing

ISSN: 0934-5043eISSN: 1433-299X

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

Loading data ...

Forstwissenschaftliches Centralblatt

ISSN: 0015-8003eISSN: 1439-0337
Loading data ...

Francophone Journal of Psycho-Oncology

ISSN: 1760-4133eISSN: 1765-2863
Loading data ...

Frontiers in Biology

ISSN: 1674-7984eISSN: 1674-7992
Loading data ...

Frontiers of Agriculture in China

ISSN: 1673-7334eISSN: 1673-744X
Loading data ...

Frontiers of Architecture and Civil Engineering in China

ISSN: 1673-7407eISSN: 1673-7512
Loading data ...

Frontiers of Biology in China

ISSN: 1673-3509eISSN: 1673-3622
Loading data ...

Frontiers of Chemical Engineering in China

ISSN: 1673-7369eISSN: 1673-7474
Loading data ...

Frontiers of Chemistry in China

ISSN: 1673-3495eISSN: 1673-3614
Loading data ...

Frontiers of Earth Science in China

ISSN: 1673-7385eISSN: 1673-7490
Loading data ...

Frontiers of Electrical and Electronic Engineering

eISSN: 2095-2740
Loading data ...

Frontiers of Electrical and Electronic Engineering in China

ISSN: 1673-3460eISSN: 1673-3584
Loading data ...

Frontiers of Environmental Science and Engineering in China

ISSN: 1673-7415eISSN: 1673-7520
Loading data ...

Frontiers of Forestry in China

ISSN: 1673-3517eISSN: 1673-3630
Loading data ...

Frontiers of Materials Science in China

ISSN: 1673-7377eISSN: 1673-7482
Loading data ...

Frontiers of Mechanical Engineering in China

ISSN: 1673-3479eISSN: 1673-3592
Loading data ...

Frontiers of Medicine in China

ISSN: 1673-7342eISSN: 1673-7458
Loading data ...

Frontiers of Optoelectronics in China

ISSN: 1674-4128eISSN: 1674-4594
Loading data ...

Frontiers of Physics in China

ISSN: 1673-3487eISSN: 1673-3606
Loading data ...

Functional Analysis and Other Mathematics

ISSN: 1991-0061eISSN: 1863-7914
Loading data ...