Books found that match ""Pierre-Loic Garoche""

2 books were found.

Formal Verification of Control System Software

Formal Verification of Control System Software

Author: Pierre-Loic Garoche
ISBN: 9780691181301
Format: Hardback
$80.28

An essential introduction to the analysis and verification of control system software The verification of control...  Read More >>

Static Analysis of Actors by Abstract Interpretation

Static Analysis of Actors by Abstract Interpretation...

Author: Pierre-Loic Garoche
ISBN: 9783843389549
Format: Paperback
$151.81

The Actor model, introduced by Hewitt and Agha in the late 80s, describes a concurrent communicating system as a...  Read More >>

Spring Reading Guide

 

Spring Reading Guide catalogue for book recommendations

Shopping Cart
Your cart is empty
Shopping cart