Link to this page


  • Access to this page:13 times

  • Number of loans:0 times
    (Number of loans in 1 year:0 times)

Formal verification of control system software

Responsibility Pierre-Loïc Garoche
Series Princeton series in applied mathematics
Material Type Book
Publisher Princeton : Princeton University Press
Year c2019
Language English
Size viii, 219 p. : ill. ; 25 cm


SciTech 3F Mathematical Books 130012019003852 GARO/5/1 2019

Bibliographic details

Notes Includes bibliographical references (p. [201]-216) and index
Authors Garoche, Pierre-Loïc
ID 1001677353
ISBN 9780691181301
NCID BB28307485
Vol ISBN:9780691181301
Created Date 2019.06.14
Modified Date 2019.06.14