Oakleafbooks Online Library -- A Global Books Research Catalogue
And a Bookstore - We deliver Worldwide

You must enter a search term!
Browse Subject Headings
Publications written by: Garoche, Pierre-Loïc
Filter on:
Formal Verification of Control System Software
Formal Verification of Control System Software
9780691181301
Published: 2019
$ 98.05  
Static Analysis of Actors by Abstract Interpretation
Static Analysis of Actors by Abstract Interpretation
9783843389549
Published: 2010
$ 143.52  
Browse Subject Headings