Autor: Laurent Mounier

Soporte

2 Ebooks de 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), To …
PDF
Inglés
DRM
€57.77
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 re …
EPUB
Inglés
DRM
€90.03