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 2 Books
)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Yamine Ait Ameur
ABZ 2014 : The Landing Gear Case Study
Frederic Boniol
Looking for another book by Yamine Ait Ameur?
Search for the book
by title.