A refinement-based approach to developing software controllers for reactive systems [electronic resource]

Saved in:

Bibliographic Details
Online Access:	Online Access
Corporate Author:	Sandia National Laboratories. (Researcher)
Format:	Government Document Electronic eBook
Language:	English
Published:	Washington, D.C : Oak Ridge, Tenn. : United States. Dept. of Energy ; distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy, 1999.
Subjects:	Algorithms. Transformations. Computer Codes. Rapid Transit Systems. California. Energy Conservation, Consumption, And Utilization. General And Miscellaneous//mathematics, Computing, And Information Science.

Internet

Online Access

Holdings details from Online
Call Number:	E 1.99:SAND99-3135C
E 1.99:SAND99-3135C	Available