Formal Aspects of Computing

CaLiGraph

Property	Value
rdf:type	Publication established in 1989 Formal methods publication owl:NamedIndividual English-language journal Quarterly journal Springer Science+Business Media academic journal Computer science journal
rdfs:label	Formal Aspects of Computing
owl:sameAs	dbr:Formal_Aspects_of_Computing
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Publications_established_in_1989 http://en.wikipedia.org/wiki/BCS,_The_Chartered_Institute_for_IT http://en.wikipedia.org/wiki/Category:English-language_journals http://en.wikipedia.org/wiki/Category:Quarterly_journals http://en.wikipedia.org/wiki/Category:Springer_Science%2BBusiness_Media_academic_journals http://en.wikipedia.org/wiki/Category:Computer_science_journals http://en.wikipedia.org/wiki/List_of_computer_science_journals http://en.wikipedia.org/wiki/Theoretical_computer_science http://en.wikipedia.org/wiki/Category:Formal_methods_publications http://en.wikipedia.org/wiki/Jeannette_Wing http://en.wikipedia.org/wiki/Practical_Computing http://en.wikipedia.org/wiki/The_Turing_Guide
skos:prefLabel	Formal Aspects of Computing
clgo:abbreviation	Form. Asp. Comput.
clgo:academicDiscipline	Computer science Engineering Formal methods
clgo:editor	Jim Woodcock Cliff Jones (computer scientist)
clgo:firstPublicationYear	1989
clgo:frequencyOfPublication	Quarterly
clgo:impactFactor	1.17
clgo:impactFactorAsOf	2010
clgo:issn	0934-5043 1433-299X
clgo:oclc	42939863
clgo:publisher	Springer Science+Business Media

About: clgr:Formal_Aspects_of_Computing