Formal Aspects of Computing
http://dbpedia.org/resource/Formal_Aspects_of_Computing an entity of type: Thing
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.
rdf:langString
rdf:langString
Formal Aspects of Computing
rdf:langString
Formal Aspects of Computing
xsd:integer
2583869
xsd:integer
1095295543
xsd:double
1.17
rdf:langString
Form. Asp. Comput.
rdf:langString
Formal Aspects of Computing.jpg
rdf:langString
Quarterly
xsd:integer
1989
xsd:integer
934
xsd:integer
42939863
rdf:langString
Formal Aspects of Computing
rdf:langString
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.
xsd:integer
1433
xsd:integer
2010
xsd:double
1.17
xsd:gYear
2010
xsd:nonNegativeInteger
1961
xsd:string
Form. Asp. Comput.
xsd:gYear
1989
xsd:string
Quarterly
xsd:string
0934-5043
xsd:string
1433-299X
xsd:string
42939863