Formal aspects of computing
Finna-arvio
Formal aspects of computing
Tallennettuna:
| Aineistotyyppi | |
|---|---|
| Muut nimekkeet |
Formal aspects of computing : applicable formal methods |
| Ulkoasu |
1 online resource |
| Kieli |
englanti |
| Huomautukset |
Refereed/Peer-reviewed |
| Julkaisija |
London :
Springer Verlag
|
| Luokitus | |
| Dewey-luokitus |
004.05 |
| Aiheet | |
| Muu ilmiasu |
0934-5043 |
| Julkaistu |
Began with v. 1, no. 1 (Mar. 1989) |
| Julkaisutiheys |
Bimonthly, 2008- |
| Järjestelmävaatimukset |
Mode of access: World Wide Web |
| ISSN |
1433-299X |
| Huomautukset |
"Founded by BCS-FACS, the British Computer Society's Specialist Group in Formal Aspects of Computing Science." |
| Hae kokoteksti | |