Central Library Search for 'au:"Peled, Doron."'

Automated Technology for Verification and Analysis

. XI, 530 p. 102 illus. 9783319465203

Place Hold on Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

. XI, 530 p. 102 illus. 9783319465203

Place Hold on Automated Technology for Verification and Analysis

Time for Verification

. VIII, 413 p. 113 illus. 9783642137549

Place Hold on Time for Verification

Verification, Model Checking, and Abstract Interpretation

. X, 325 p. 9783540781639

Place Hold on Verification, Model Checking, and Abstract Interpretation

Runtime Verification

. VII, 203 p. 9783642046940

Place Hold on Runtime Verification

Model Checking and Artificial Intelligence

. VII, 189 p. 9783642004315

Place Hold on Model Checking and Artificial Intelligence

Automated Technology for Verification and Analysis

. XII, 508 p. 9783540319696

Place Hold on Automated Technology for Verification and Analysis