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

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



To save right click on the cover below and choose Save Picture As...


Verifying Concurrent Processes Using Temporal Logic Hailpern B T