http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Logics of Programs Workshop (1983 : Carnegie Mellon University)
1 online resource (vi, 527 pages) : illustrations.
edited by Edmund Clarke and Dexter Kozen.
Proceedings of the Logics of Programs Workshop.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Berlin ; New York : Springer-Verlag, 1984