Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) - Tapa blanda

 
9780387112053: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

Sinopsis

.

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783540112051: Verifying Concurrent Processes Using Temporal Logic: 129 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540112057 ISBN 13:  9783540112051
Editorial: Springer, 2008
Tapa blanda