Articles liés à Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic - Couverture souple

 
9780387112053: Verifying Concurrent Processes Using Temporal Logic

L'édition de cet ISBN n'est malheureusement plus disponible.