2 Ebooks par Helen Treharne
Martin Henson & Steve King: ZB 2005: Formal Specification and Development in Z and B
…
PDF
Anglais
DRM
€114.92
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
Anglais
DRM
€57.82
