Title: |
formal Aspects of Computing
|
Abbrev: |
FORMAL ASPECTS OF COMPUTING INTERNATIONAL JOURNAL OF FORMAL METHODS |
Abbrev: |
FORM. ASP. COMPUT |
Abbrev: |
FORM ASP COMPUT |
Alternative: |
Formal Aspects of Computing |
ISSN: |
0934-5043 |
LCCN: |
00227046 |
CODEN: |
FACME5 |
Peer-Reviewed:
|
Yes
|
|
Availability: |
ACM Digital Library Complete
|
|
|
Available from
1989/03/01
volume: 1
issue: 1
|
|
Authentication: |
NTK |
|
Availability: |
EZB-FREE-01824 free EZB journals Computer Science
|
|
|
Available from
1989
volume: 1
issue: 1
|
|
|
Availability: |
ProQuest Central
|
|
|
Available from
2002/05/01
volume: 13
issue: 2
until (and including)
2019/01/31
|
|
Authentication: |
NTK, ÚOCHB |
|
Availability: |
SpringerLink Journals
|
|
|
Available from
1997/01/01
volume: 9
issue: 1
|
|
Authentication: |
NTK, ÚOCHB, VŠCHT |
|
Availability: |
Technology Collection
|
|
|
Available from
2002/05/01
volume: 13
issue: 2
until (and including)
2019/01/31
|
|
Authentication: |
ÚOCHB |