Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Pnueli A.

Books by author

Pnueli A.

Temporal verification of reactive systems: progress

Temporal verification of reactive systems: progress

1996 · ENGLISH · PDF

View details →

Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

1995 · ENGLISH · DJVU

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme