2 E-böcker av Helen Treharne
Martin Henson & Steve King: ZB 2005: Formal Specification and Development in Z and B
…
PDF
Engelska
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
Engelska
DRM
€57.68
