Formal Aspects of Computing
- Formal Aspects of Computing
Infobox Magazine
title = Formal Aspects of Computing
| image_size = 200px | image_caption =
editor = Jim Woodcock & Cliff Jones
frequency = Quarterly
circulation =
category = Formal methods
company = Springer
firstdate = 1989
country = Germany
language = English
website = [http://www.springer.com/journal/00165/ www.springer.com]
issn = 0934-5043
The "Formal Aspects of Computing" journal is published by Springer. It covers 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.
ISSN information
* ( [http://springerlink.metapress.com/openurl.asp?genre=journal&issn=0934-5043 Paper] )
* ( [http://springerlink.metapress.com/openurl.asp?genre=journal&eissn=1433-299X Online] )
External links
* [http://www.springer.com/journal/00165/about About the journal]
* [http://www.springer.com/journal/00165/edboard Editorial board]
* [http://www.springer.com/journal/00165/submission Manuscript submission information]
* [http://www.informatik.uni-trier.de/~ley/db/journals/fac/ DBLP list of papers]
* [http://springerlink.metapress.com/link.asp?id=102822 Springer MetaPress link]
* [http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0934-5043&issue=current Current print issue]
* [http://springerlink.metapress.com/openurl.asp?genre=issue&eissn=1433-299X&issue=current Current electronic issue]
* [http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0934-5043&issue=currentsample Current print sample issue]
* [http://springerlink.metapress.com/openurl.asp?genre=issue&eissn=1433-299X&issue=currentsample Current electronic sample issue]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Formal Methods Europe — (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer based systems. The association s members are drawn from academia and industry. It is based… … Wikipedia
List of computing topics — Originally, the word computing was synonymous with counting and calculating, and the science and technology of mathematical calculations. Today, computing means using computers and other computing machines. It includes their operation and usage,… … Wikipedia
ACM Computing Classification System — The ACM Computing Classification System is a subject classification system for computer science devised by the Association for Computing Machinery. The system is comparable to the Mathematics Subject Classification in scope, aims and structure,… … Wikipedia
SIAM Journal on Computing — Infobox Journal title = SIAM Journal on Computing discipline = Computer Science abbreviation = SICOMP publisher = Society for Industrial and Applied Mathematics country = USA frequency = once every two months history = 1972 to present openaccess … Wikipedia
NUS Master Of Computing — NUS School of computing which has approximately 2,000 students and 200 staffs, was established in 1998. Its root is Department of Information Systems and Computer Science (DISCS) within the Faculty of Science. The purpose of school is to produce… … Wikipedia
Descriptional Complexity of Formal Systems — Abbreviation DCFS Discipline Automata theory and formal languages Publication details Publisher Electronic Proceedings in Theoretical Computer Science (International) History 1999– … Wikipedia
Trustworthy Computing — The term Trustworthy Computing (TwC) has been applied to computing systems that are inherently secure, available and reliable. The Committee on Information Systems Trustworthiness’ publication, Trust in Cyberspace, defines such a system as one… … Wikipedia
International Association for Computing and Philosophy — The International Association for Computing and Philosophy ( [http://www.ia cap.org IACAP] ) is a professional, philosophical association emerging from a history of conferences that began in 1986. Adopting its mission from these conferences, the… … Wikipedia
BCS-FACS — is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal … Wikipedia
Martin Henson — Martin C. Henson Born 14 October 1954 Reading Reside … Wikipedia
