作者: Laurent Mounier

支持

2 电子书 Laurent Mounier

Susanne Graf & Laurent Mounier: Model Checking Software
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr’ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), …
PDF
英语
DRM
€57.46
Carlisle Adams & Joaquin Garcia-Alfaro: Foundations and Practice of Security
This book constitutes the refereed proceedings of the 15th International Symposium on Foundations and Practice of Security, FPS 2022, held in Ottawa, ON, Canada, during December 12-14, 2022.The 26 …
EPUB
英语
DRM
€89.53