| Title: | Lfm2000 : fifth NASA Langley Formal Methods Workshop / |
| Author: | NASA Formal Methods Workshop (5th : 2000 : Williamsburg, Virginia) |
| Author: | Holloway, C. Michael |
| Author: | Langley Research Center |
| Note: | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2000] |
| Link: | page images at HathiTrust; US access only |
| 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: | Automatic control |
| Subject: | System analysis |
| Subject: | System design |
| Subject: | Fault-tolerant computing |
| 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.