Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Yamine Ait-Ameur
Yamine Ait-Ameur
All books by Yamine Ait-Ameur
(
Displaying 1 Book
)
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Yamine Ait-Ameur
Looking for another book by Yamine Ait-Ameur?
Search for the book
by title.
