2 电子书 Diego Latella
Tommaso Bolognesi & Diego Latella: Formal Methods for Distributed System Development
th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 ed …
PDF
英语
DRM
€230.91
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.82
