2 Ebooks de Helen Treharne
Martin Henson & Steve King: ZB 2005: Formal Specification and Development in Z and B
…
PDF
Engleză
DRM
€113.52
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 …
PDF
Engleză
DRM
€56.77
