Formal aspects of computing
Finna rating
Formal aspects of computing
Saved in:
| Content type | |
|---|---|
| Other Titles |
Formal aspects of computing : applicable formal methods |
| Physical Description |
1 online resource |
| Language |
English |
| Item Description |
Refereed/Peer-reviewed |
| Publisher |
London :
Springer Verlag
|
| Classification | |
| Dewey Classification |
004.05 |
| Subjects | |
| Additional form |
0934-5043 |
| Publish date |
Began with v. 1, no. 1 (Mar. 1989) |
| Publication Frequency |
Bimonthly, 2008- |
| System requirements |
Mode of access: World Wide Web |
| ISSN |
1433-299X |
| Notes |
"Founded by BCS-FACS, the British Computer Society's Specialist Group in Formal Aspects of Computing Science." |
| Get full text | |