2 หนังสืออิเล็กทรอนิกส์โดย Helen Treharne
Martin Henson & Steve King: ZB 2005: Formal Specification and Development in Z and B
…
PDF
อังกฤษ
DRM
€114.31
John Derrick & Stefania Gnesi: Integrated Formal Methods
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented togethe …
PDF
อังกฤษ
DRM
€57.68
