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.
Read article at Wikipedia
Formal Aspects of Computing
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 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 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
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...