Program verification : fundamental issues in computer science / ed. by Timothy R. Colburn, James H. Fetzer and Terry L. Rankin
mainEntity
Program verification : fundamental issues in computer science / ed. by Timothy R. Colburn, James H. Fetzer and Terry L. Rankin
associatedMedia
<http://catdir.loc.gov/catdir/enhancements/fy0823/92026748-d.html>
<http://catdir.loc.gov/catdir/enhancements/fy0823/92026748-t.html>
<http://www.gbv.de/dms/bowker/toc/9780792319658.pdf>
<http://www.loc.gov/catdir/enhancements/fy0823/92026748-d.html>
<http://www.loc.gov/catdir/enhancements/fy0823/92026748-t.html>
<http://www.zentralblatt-math.org/zmath/en/search/?an=0826.68078>
contributor
inLanguage
isPartOf
isbn
0792319656
mainEntityOfPage
name
Program verification : fundamental issues in computer science
numberOfPages
publication
sameAs
label
Program verification : fundame ...... H. Fetzer and Terry L. Rankin