Amir Pnueli
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryVO
Verification of Sequential and Concurrent Programs
cover - Image source: Open LibraryPO
Perspectives of Systems Informatics
cover - Image source: Open LibraryVO
Verification of Sequential and Concurrent Programs
cover - Image source: Open LibraryTL
Temporal Logic in Specification
cover - Image source: Open LibraryHS
Hybrid systems
cover - Image source: Open LibraryTV
Temporal Verification of Reactive Systems
cover - Image source: Open LibraryTT
The temporal logic of reactive and concurrent systems
cover - C:Compositionality : the Signific...Amir Pnueli
Compositionality : the Significant Difference
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Verification of Sequential and Concurrent Programs
- Open Work
Perspectives of Systems Informatics
- Open Work
Verification of Sequential and Concurrent Programs
- Open Work
Temporal Logic in Specification
- Open Work
Hybrid systems
- Open Work
Temporal Verification of Reactive Systems
- Open Work
The temporal logic of reactive and concurrent systems
- Open Work
Compositionality : the Significant Difference