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
$111.26

 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 >>

Mother's Day Reading Guide

 

Flowers in a vase on top of a stack of books on a catalogue cover

Shopping Cart
Your cart is empty
Shopping cart