1-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Verifying Concurrent Processes Using Temporal Logic Hailpern B T Book cover
Title Verifying Concurrent Processes Using Temporal Logic Hailpern B T
ISBN 9783540112051
Size 263 x 400
Filesize 9.52 KB
Date added 27-12-2021
Views 46



To save right click on the cover below and choose Save Picture As...
Verifying Concurrent Processes Using Temporal Logic Hailpern B T

Verifying Concurrent Processes Using Temporal Logic Hailpern B T