Formal aspects of computing.
- Publisher: Springer International
- Print ISSN: 0934-5043
- Electronic ISSN: 1433-299X
- OCLC Number: 19718812
- Subject: Computer science Periodicals.
- Subject code: QA
- Publication history: Vol. 1, no. 1 (Jan./Mar. 1989)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| Indiana University Shared Print in Storage (IULSP) | Big Ten Academic Alliance (BTAA) Shared Print Repository | 1 (1989)-18 (2006) | 20360630 |
| University of California, NRLF Shared Print (ZAP) | WEST, WEST Silver, UCL Shared Print | v.1(1989)-15(2003) | 20351231 |
| University of California, SRLF Shared Print (ZAS) | UCL Shared Print, Licensed Content | v.18-22(2006-2010) | 20351231 |
| University of Florida (FUG) | Florida Academic Repository (FLARE), Scholars Trust | v.4(1992)-v.8(1996), v.12(2000)-v.19:no.3(2007:Aug.) | 20351231 |
Digital Holdings
| Program | Holdings Description |
|---|---|
| CLOCKSS | v.1-v.34 (1989-2022) |