Formalne aspekty informatyki
 | |
| Dyscyplina | Informatyka , metody formalne |
|---|---|
| Język | język angielski |
| Edytowany przez | Jima Woodcocka , Cliffa Jonesa |
| Szczegóły publikacji | |
| Historia | 1989 – obecnie |
| Wydawca | |
| Częstotliwość | Kwartalny |
| 1,170 (2010) | |
| Standardowe skróty | |
| ISO 4 | Formularz. Żmija. Oblicz. |
| Indeksowanie | |
| ISSN |
0934-5043 (druk) 1433-299X (internet) |
| OCLC nr. | 42939863 |
| Linki | |
Formal Aspects of Computing ( FAOC ) to recenzowane czasopismo naukowe wydawane przez Springer Science + Business Media , obejmujące obszar metod formalnych i powiązanych tematów w informatyce . Redaktorami naczelnymi są Jim Woodcock i Cliff Jones . Czasopismo jest stowarzyszone z BCS-FACS , brytyjską grupą specjalistów ds. formalnych aspektów informatyki . Według Journal Citation Reports , czasopismo ma Impact Factor 2010 na poziomie 1,170.
Zobacz też
Linki zewnętrzne