Chantal Keller – författare

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

2 produkter

1. 

   Tests and Proofs

   13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

   Av Dirk Beyer, Chantal Keller

   Häftad, 2019

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully …

2. 

   Tests and Proofs

   13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

   Av Chantal Keller, Dirk Beyer

   E-bok, 2019

   755 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully …