Artículos relacionados a Verifying Concurrent Processes Using Temporal Logic...

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)

Esta edición ISBN ya no está disponible.

Sinopsis

.

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