| http://dbpedia.org/ontology/abbreviation
|
Form. Asp. Comput.
|
| http://dbpedia.org/ontology/abstract
|
Formal Aspects of Computing (FAOC) is a pe … 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.journal has a 2010 impact factor of 1.170.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/ontology/editor
|
http://dbpedia.org/resource/Cliff_Jones_%28computer_scientist%29 +
, http://dbpedia.org/resource/Jim_Woodcock +
|
| http://dbpedia.org/ontology/firstPublicationYear
|
1989
|
| http://dbpedia.org/ontology/frequencyOfPublication
|
Quarterly
|
| http://dbpedia.org/ontology/impactFactor
|
1.17
|
| http://dbpedia.org/ontology/impactFactorAsOf
|
2010
|
| http://dbpedia.org/ontology/issn
|
1433-299X
, 0934-5043
|
| http://dbpedia.org/ontology/oclc
|
42939863
|
| http://dbpedia.org/ontology/publisher
|
http://dbpedia.org/resource/Springer_Science%2BBusiness_Media +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Formal_Aspects_of_Computing.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.springer.com/journal/00165/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
2583869
|
| http://dbpedia.org/ontology/wikiPageLength
|
1961
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1095295543
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Journal_Citation_Reports +
, http://dbpedia.org/resource/Springer_Science%2BBusiness_Media +
, http://dbpedia.org/resource/Peer_review +
, http://dbpedia.org/resource/Innovations_in_Systems_and_Software_Engineering +
, http://dbpedia.org/resource/Acta_Informatica +
, http://dbpedia.org/resource/BCS-FACS +
, http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/Scientific_journal +
, http://dbpedia.org/resource/Category:British_Computer_Society +
, http://dbpedia.org/resource/Category:Springer_Science%2BBusiness_Media_academic_journals +
, http://dbpedia.org/resource/Editor-in-chief +
, http://dbpedia.org/resource/Category:Publications_established_in_1989 +
, http://dbpedia.org/resource/Category:Formal_methods_publications +
, http://dbpedia.org/resource/Jim_Woodcock +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Category:English-language_journals +
, http://dbpedia.org/resource/Category:Quarterly_journals +
, http://dbpedia.org/resource/Cliff_Jones_%28computer_scientist%29 +
, http://dbpedia.org/resource/British_Computer_Society +
, http://dbpedia.org/resource/Category:Computer_science_journals +
, http://dbpedia.org/resource/Impact_factor +
|
| http://dbpedia.org/property/abbreviation
|
Form. Asp. Comput.
|
| http://dbpedia.org/property/cover
|
Formal Aspects of Computing.jpg
|
| http://dbpedia.org/property/discipline
|
http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Formal_methods +
|
| http://dbpedia.org/property/editor
|
http://dbpedia.org/resource/Jim_Woodcock +
, http://dbpedia.org/resource/Cliff_Jones_%28computer_scientist%29 +
|
| http://dbpedia.org/property/eissn
|
1433
|
| http://dbpedia.org/property/frequency
|
Quarterly
|
| http://dbpedia.org/property/history
|
1989
|
| http://dbpedia.org/property/impact
|
1.17
|
| http://dbpedia.org/property/impactYear
|
2010
|
| http://dbpedia.org/property/issn
|
934
|
| http://dbpedia.org/property/oclc
|
42939863
|
| http://dbpedia.org/property/publisher
|
http://dbpedia.org/resource/Springer_Science%2BBusiness_Media +
|
| http://dbpedia.org/property/title
|
Formal Aspects of Computing
|
| http://dbpedia.org/property/website
|
https://www.springer.com/journal/00165/ +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_journal +
, http://dbpedia.org/resource/Template:Compu-journal-stub +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://dbpedia.org/property/wordnet type
|
http://www.w3.org/2006/03/wn/wn20/instances/synset-magazine-noun-1 +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Publications_established_in_1989 +
, http://dbpedia.org/resource/Category:Formal_methods_publications +
, http://dbpedia.org/resource/Category:English-language_journals +
, http://dbpedia.org/resource/Category:Quarterly_journals +
, http://dbpedia.org/resource/Category:Computer_science_journals +
, http://dbpedia.org/resource/Category:Springer_Science%2BBusiness_Media_academic_journals +
, http://dbpedia.org/resource/Category:British_Computer_Society +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Journal +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Formal_Aspects_of_Computing?oldid=1095295543&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Formal_Aspects_of_Computing.jpg +
|
| http://xmlns.com/foaf/0.1/homepage
|
https://www.springer.com/journal/00165/ +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Formal_Aspects_of_Computing +
|
| http://xmlns.com/foaf/0.1/name
|
Formal Aspects of Computing
|
| owl:sameAs |
http://dbpedia.org/resource/Formal_Aspects_of_Computing +
, http://www.wikidata.org/entity/Q5469945 +
, http://rdf.freebase.com/ns/m.07ppsz +
, http://yago-knowledge.org/resource/Formal_Aspects_of_Computing +
, https://global.dbpedia.org/id/4jguH +
|
| rdf:type |
http://dbpedia.org/class/yago/Periodical106593296 +
, http://dbpedia.org/class/yago/Artifact100021939 +
, http://dbpedia.org/class/yago/WikicatEnglish-languageJournals +
, http://dbpedia.org/class/yago/WikicatComputerScienceJournals +
, http://dbpedia.org/class/yago/Product104007894 +
, http://dbpedia.org/class/yago/WikicatQuarterlyJournals +
, http://www.wikidata.org/entity/Q386724 +
, http://dbpedia.org/class/yago/WikicatSpringerScience%2BBusinessMediaAcademicJournals +
, http://schema.org/CreativeWork +
, http://dbpedia.org/class/yago/Work104599396 +
, http://www.wikidata.org/entity/Q234460 +
, http://dbpedia.org/class/yago/Publication106589574 +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPublications +
, http://dbpedia.org/class/yago/WikicatPublicationsEstablishedIn1989 +
, http://dbpedia.org/class/yago/Creation103129123 +
, http://dbpedia.org/ontology/WrittenWork +
, http://dbpedia.org/ontology/PeriodicalLiterature +
, http://www.wikidata.org/entity/Q1092563 +
, http://dbpedia.org/ontology/Work +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/ontology/AcademicJournal +
|
| rdfs:comment |
Formal Aspects of Computing (FAOC) is a pe … 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.journal has a 2010 impact factor of 1.170.
|
| rdfs:label |
Formal Aspects of Computing
|
