1 หนังสืออิเล็กทรอนิกส์โดย Lenore Zuck
Nicolas Halbwachs & Lenore Zuck: Tools and Algorithms for the Construction and Analysis of Systems
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of …
PDF
อังกฤษ
DRM
€114.94
