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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”