| Title: | NASA Langley Formal Methods Workshop |
| Alternate 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: | National Aeronautics and Space Administration, Langley Research Center, 2000 |
| 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: | Automatic control -- Data processing -- Congresses |
| Subject: | Fault-tolerant computing -- Congresses |
| Subject: | System analysis -- Congresses |
| Subject: | System design -- Congresses |
| 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.