Program Verification
Program Verification
by Timothy R. Colburn, Timothy R. Colburn, James H. Fetzer, Terry L. Rankin
- Title
- Program Verification
- ISBN-10
- 0-7923-1965-6
- ISBN-13
- 978-0-7923-1965-8
- Publisher
- Springer
- Published
- 1993
- Format
- Hardcover
Metadata
- EAN
- 9780792319658
- ASIN
- 0792319656
- Prefix
- 978
- Group
- 0
- Group Name
- English language
- Group Identifier
- 978-0
- Registrant
- 7923
- Publication
- 1965
- Check Digit
- 8
- Formatted
- 978-0-7923-1965-8