Title: | Post-processing V & V level II ASC milestone (2360) results |
Author: | Karelitz, David B. |
Author: | Shead, Timothy M. |
Author: | Weirs, V. Gregory |
Author: | Chavez, Elmer |
Author: | Moreland, Kenneth D. |
Author: | Trucano, Timothy Guy |
Author: | Brunner, Thomas A. |
Author: | United States. Department of Energy |
Author: | Sandia National Laboratories |
Note: | Albuquerque, New Mexico : Sandia National Laboratories, 2007., 2007 |
Link: | page images at HathiTrust |
No stable link: | This is an uncurated book entry from our extended bookshelves, readable online now but without a stable link here. You should not bookmark this page, but you can request that we add this book to our curated collection, which has stable links. |
Subject: | Programming (Computers) |
Subject: | Verification (Logic) |
Other copies: | Look for editions of this book at your library, or elsewhere. |
Help with reading books -- Report a bad link -- Suggest a new listing
Home -- Search -- New Listings -- Authors -- Titles -- Subjects -- Serials
Books -- News -- Features -- Archives -- The Inside Story
Edited by John Mark Ockerbloom (onlinebooks@pobox.upenn.edu)
OBP copyrights and licenses.