Formální aspekty práce na počítači - Formal Aspects of Computing
 | |
| Disciplína | Počítačová věda, formální metody |
|---|---|
| Jazyk | Angličtina |
| Upraveno podle | Jim Woodcock, Cliff Jones |
| Podrobnosti o publikaci | |
| Dějiny | 1989 – dosud |
| Vydavatel | |
| Frekvence | Čtvrtletní |
| 1.170 (2010) | |
| Standardní zkratky | |
| ISO 4 | Formulář. Asp. Comput. |
| Indexování | |
| ISSN | 0934-5043 (tisk) 1433-299X (web) |
| OCLC Ne. | 42939863 |
| Odkazy | |
)Formální aspekty práce na počítači (FAOC) je recenzováno vědecký časopis publikováno Springer Science + Business Media, pokrývající oblast formální metody a související témata v počítačová věda. The šéfredaktori jsou Jim Woodcock a Cliff Jones. Časopis je přidružen k BCS-FACS, Britská počítačová společnost Formální aspekty počítačové vědy Specializovaná skupina. Podle Zprávy o citaci deníku, časopis má rok 2010 nárazový faktor z 1,170.[1]
Viz také
Reference
- ^ "Formální aspekty práce s počítačem". Zprávy o citaci deníku z roku 2010. Web vědy (Science ed.). Thomson Reuters. 2011.