We use cookies to improve your experience on this site.
Learn more
Accept all
Reject non-essential
Manage preferences
Necessary
(required)
Required for the site to function. Cannot be disabled.
Analytics
Help us understand how visitors use the site.
Cookie settings
Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Dejan Ničković
Dejan Ničković
All books by Dejan Ničković
(
Displaying 2 Books
)
Formal Methods for Industrial Critical Systems
Maurice H. ter Beek
Runtime Verification
Jyotirmoy Deshmukh
Looking for another book by Dejan Ničković?
Search for the book
by title.
