1 หนังสืออิเล็กทรอนิกส์โดย Peter Niebert
Kim G. Larsen & Peter Niebert: Formal Modeling and Analysis of Timed Systems
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in …
PDF
อังกฤษ
DRM
€57.27
