Special Issue on Program Verification, Automated Debugging and Symbolic Computation. (May 2017)
- Record Type:
- Journal Article
- Title:
- Special Issue on Program Verification, Automated Debugging and Symbolic Computation. (May 2017)
- Main Title:
- Special Issue on Program Verification, Automated Debugging and Symbolic Computation
- Authors:
- Jebelean, Tudor
Li, Wei
Wang, Dongming - Abstract:
- Is Part Of:
- Journal of symbolic computation. Volume 80:Part 1(2017)
- Journal:
- Journal of symbolic computation
- Issue:
- Volume 80:Part 1(2017)
- Issue Display:
- Volume 80, Issue 1, Part 1 (2017)
- Year:
- 2017
- Volume:
- 80
- Issue:
- 1
- Part:
- 1
- Issue Sort Value:
- 2017-0080-0001-0001
- Page Start:
- 1
- Page End:
- 3
- Publication Date:
- 2017-05
- Subjects:
- Mathematics -- Data processing -- Periodicals
Numerical analysis -- Data processing -- Periodicals
Automatic programming (Computer science) -- Periodicals
Mathématiques -- Informatique -- Périodiques
Analyse numérique -- Informatique -- Périodiques
Programmation automatique -- Périodiques
Automatic programming (Computer science)
Mathematics -- Data processing
Numerical analysis -- Data processing
Periodicals
Electronic journals
510.285 - Journal URLs:
- http://www.sciencedirect.com/science/journal/07477171 ↗
http://www.elsevier.com/journals ↗ - DOI:
- 10.1016/j.jsc.2016.07.005 ↗
- Languages:
- English
- ISSNs:
- 0747-7171
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 5067.900000
British Library DSC - BLDSS-3PM
British Library HMNTS - ELD Digital store - Ingest File:
- 7434.xml