Formal Aspects of Computing

The Formal Aspects of Computing journal is published by Springer. It is a peer-reviewed, scientific journal covering the area of formal methods and associated topics in computer science. The Editors-in-Chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. The journal has a 2008 impact factor of 1.149.

Publishing

Discipline:

Language:

ISSN (print):

  • 0934-5043

Subjects:

top ↑

We can also tell you Formal Aspects of Computing is a…

If you know more about Formal Aspects of Computing, you can add more facts here »

Similar topics in Freebase

  • IEEE Spectrum

    IEEE Spectrum

    IEEE Spectrum is a magazine edited by the Institute of Electrical and Electronics Engineers. The IEEE's description of it is: IEEE Spectrum has a circulation of over 380,000 engineers worldwide, making it one of the leading science and engineering magazines. It covers a wide variety of technical...
  • Philosophy Now

    Philosophy Now

    Philosophy Now is a philosophy magazine, published every two months and sold from news-stands and bookstores in the USA, UK, Australia and Canada. It aims to appeal to the general educated public, as well as to students and philosophy teachers. It was founded in 1991. The publishers claim that the...
  • Sewanee Review

    Sewanee Review

    The Sewanee Review is a literary and academic journal founded in 1892 and the oldest continuously published periodical of its kind in the United States. It incorporates original fiction and poetry, as well as essays, reviews, and literary criticism. Authors and poets whose work has been published...
  • Journal of the ACM

    The Journal of the ACM (JACM) is the flagship scientific journal of the Association for Computing Machinery (ACM). It covers computer science in general, especially theoretical aspects. The journal has been published since 1954. As Lowry, Romans & Curtis (2004) write, "computer scientists...
  • The New York Review of Science Fiction

    The New York Review of Science Fiction (NYRSF) (ISSN 1052-9438) is a monthly science fiction critical journal, founded in 1988. It generally includes works of science fiction criticism, essays, and in-depth critical reviews of new works of fiction and scholarship. The journal is published out of...
  • Entomologist's Monthly Magazine

    The Entomologist's Monthly Magazine is a British entomological journal, first published in 1864. The journal publishes original papers and notes on all orders of insects and terrestrial arthropods from any part of the world, specialising in groups other than Lepidoptera. Although its name would...

These people have edited this topic:

Edit this topic
Edit and Show details

Add or delete facts, download data in JSON or RDF formats, and explore topic metadata.

Freebase Logo
What is Freebase?

Freebase is a huge collection of facts, built by people like you. Freebase connects facts in ways other sites can't, giving you new ways to explore millions of subjects.
You can help improve it!

Freebase Attribution

Freebase data is free for use under the CC-BY license.

The original description for Formal Aspects of Computing was automatically generated from Wikipedia.org licensed under the GNU Free Documentation License.
[1]
Learn more about Freebase licensing and attribution