Laurent Mounier – författare

Visar alla böcker från författaren Laurent Mounier. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   Foundations and Practice of Security

   15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12–14, 2022, Revised Selected Papers

   Av Guy-Vincent Jourdan, Laurent Mounier m. fl.

   Häftad, 2023

   904 kr

   Lägg i varukorg

   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 regular and 3 short papers presented in this book were carefully reviewed and selected from 83 …

2. 

   Foundations and Practice of Security

   15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12–14, 2022, Revised Selected Papers

   Av Joaquin Garcia-Alfaro, Florence Sedes m. fl.

   E-bok, 2023

   1175 kr

   Lägg i varukorg

   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 regular and 3 short papers presented in this book were carefully reviewed and selected from 83 …

3. 

   Foundations and Practice of Security : 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers

   Av Guy-Vincent Jourdan, Laurent Mounier

   2023

   686 kr

   Lägg i varukorg

4. 

   Model Checking Software

   11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

   Av Susanne Graf, Laurent Mounier

   Häftad, 2004

   567 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004. The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and …

5. 

   Model Checking Software

   11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

   Av Laurent Mounier, Susanne Graf

   E-bok, 2004

   734 kr

   Lägg i varukorg

   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), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the …