pierre loïc garoche author - Books - 24x7 online bookstore Bookswagon.com

Login & Sign up

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

2 results found

Sort By:

1.

Formal Verification of Control System Software

33 %

Formal Verification of Control System Software

By: Pierre-Loïc Garoche

Publisher: Princeton University Press

No Review Yet

₹5,696

₹3,816

Binding:	Hardback
Release:	14 May 2019
Language:	English

Available

Ships within 2-4 Days Explain..

2.

Static Analysis of Actors by Abstract Interpretation

NR

Static Analysis of Actors by Abstract Interpretation

By: Pierre-Loïc Garoche

Publisher: Lap Lambert Academic Publishing

No Review Yet

₹6,587

Binding:	Paperback
Release:	29 Dec 2010
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found

ASK VIDYA

Open Chatbot