The Locator -- [(subject = "Automatic control")]

The Locator -- [(subject = "Automatic control")]

1409 records matched your query

Record 16 | Previous Record | MARC Display | Next Record | Search Results

Author:: Garoche, Pierre-Loïc, author.
Title:: Formal verification of control system software / Pierre-Lo ̈ıc Garoche.
Publisher:: Princeton University Press,
Description:: viii, 219 pages : illustrations ; 24 cm.
Subject:: Automatic control.
Computer software.
Notes:: Includes bibliographical references and index.
Series:: Princeton series in applied mathematics
ISBN:: 9780691181301
0691181306
OCLC:: (OCoLC)1059270929
Locations:: USUX851 -- Iowa State University - Parks Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.