Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Autor:
Erika Ábrahám, Marieke Huisman
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
441.20
lei
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo...