| 词条 | Formal Aspects of Computing |
| 释义 |
| title = Formal Aspects of Computing | cover = Formal Aspects of Computing.jpg | editor = Jim Woodcock, Cliff Jones | discipline = Computer science, formal methods | abbreviation = Formal Aspects Comput. | publisher = Springer Science+Business Media | country = | frequency = Quarterly | history = 1989–present | openaccess = | impact = 1.170 | impact-year = 2010 | website = https://www.springer.com/journal/00165/ | link1 = http://www.springerlink.com/content/0934-5043 | link1-name = Online access | link2 = | link2-name = | JSTOR = | OCLC = 42939863 | LCCN = | CODEN = | ISSN = 0934-5043 | eISSN = 1433-299X }}Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, 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. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170.[1] See also
References1. ^{{cite book |year=2011 |chapter=Formal Aspects of Computing |title=2010 Journal Citation Reports |publisher=Thomson Reuters |edition=Science |accessdate=2011-08-18 |work=Web of Science |postscript=.}} External links
7 : Publications established in 1989|Computer science journals|Formal methods publications|British Computer Society|Springer Science+Business Media academic journals|Quarterly journals|English-language journals |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。