2 หนังสืออิเล็กทรอนิกส์โดย Eugene Asarin
Eugene Asarin & Patricia Bouyer: Formal Modeling and Analysis of Timed Systems
This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aim …
PDF
อังกฤษ
DRM
€57.88
