Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets - Couverture rigide

Lubachevsky, B D

 
9781341663017: Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

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

Autres éditions populaires du même titre

9781245630856: Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets

Edition présentée

ISBN 10 :  1245630857 ISBN 13 :  9781245630856
Editeur : Nabu Press, 2011
Couverture souple