Record:   Prev Next
Author Garoche, Pierre-Loic, author
Title Formal Verification of Control System Software / Pierre-Loic Garoche
Imprint Princeton, New Jersey : Princeton University Press, [2019]
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Books  G1.6 G237    DUE 06-05-20    30330000234034
Descript viii, 219 pages : illustrations ; 24 cm
text txt rdacontent
unmediated n rdamedia
volume nc rdacarrier
Series Princeton series in applied mathematics
Princeton series in applied mathematics
Note Includes bibliographical references and index
Subject Automatic control
Computer software
Record:   Prev Next