The Online Books Page

Lfm2000 : fifth NASA Langley Formal Methods Workshop /

Title:Lfm2000 : fifth NASA Langley Formal Methods Workshop /
Note:Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2000]
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 (
OBP copyrights and licenses.