Doron A. Peled
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 LibraryMC
Model checking
cover - Image source: Open LibrarySR
Software Reliability Methods
cover - Image source: Open LibraryTF
Time For Verification Essays In Memory Of Amir Pnueli
cover - Image source: Open LibraryAT
Automated Technology for Verification and Analysis
cover - Image source: Open LibraryCA
Computer aided verification
cover - Image source: Open LibrarySR
Software Reliability Methods (Texts in Computer Science)
cover - RVRuntime VerificationDoron A. Peled
Runtime Verification
no cover - TFTime for VerificationDoron A. Peled
Time for Verification
no cover - MCModel Checking and Artificial I...Doron A. Peled
Model Checking and Artificial Intelligence
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Model checking
- Open Work
Software Reliability Methods
- Open Work
Time For Verification Essays In Memory Of Amir Pnueli
- Open Work
Automated Technology for Verification and Analysis
- Open Work
Computer aided verification
- Open Work
Software Reliability Methods (Texts in Computer Science)
- Open Work
Runtime Verification
- Open Work
Time for Verification
- Open Work
Model Checking and Artificial Intelligence