2 options
Formal methods in system design.
Springer Nature Journals (NERL Read & Publish Collection) Available from 02/01/1997 volume: 10 issue: 1. Available online
View online- Format:
- Journal/Periodical
- Standardized Title:
- Formal methods in system design (Online)
- Language:
- English
- Subjects (All):
- System design--Periodicals.
- System design.
- Integrated circuits--Verification--Periodicals.
- Integrated circuits.
- Integrated circuits--Verification.
- Genre:
- Periodicals.
- Physical Description:
- Bimonthly
- Began with v. 1, no. 1 (July 1992).
- Place of Publication:
- Netherlands : Kluwer Academic Publishers,
- System Details:
- Mode of access: World Wide Web.
- Notes:
- Refereed/Peer-reviewed
- Description based on: Vol. 1, no. 1 (July 1992); title from journal contents page (SpringerLink, viewed Nov. 5, 2009).
- Latest issue consulted: Vol. 53, issue 3 (Dec. 2018) (SpringerLink, viewed Aug. 27, 2019).
- ISSN:
- 1572-8102
- OCLC:
- 37915762
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.