Verifying Concurrent Processes Using Temporal Logic - Couverture souple

 
9780387112053: Verifying Concurrent Processes Using Temporal Logic
Couverture souple
ISBN 10 : 0387112057 ISBN 13 : 9780387112053
Langue
anglais
ISBN 10 
0387112057
ISBN 13 
9780387112053
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540112051: Verifying Concurrent Processes Using Temporal Logic

Edition présentée

ISBN 10 :  3540112057 ISBN 13 :  9783540112051
Editeur : Springer, 2008
Couverture souple