Andrea Vandin – författare

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

2 produkter

1. 

   Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

   Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings

   Av Pavithra Prabhakar, Andrea Vandin

   Häftad, 2025

   743 kr

   Lägg i varukorg

   This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took place in Aarhus, Denmark, during August 2025.The 26 full papers included in these proceedings …

2. 

   Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

   Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings

   Av Andrea Vandin, Pavithra Prabhakar

   E-bok, 2025

   1007 kr

   Lägg i varukorg

   This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took place in Aarhus, Denmark, during August 2025.The 26 full papers included in these proceedings …