Silvia Lizeth Tapia Tarifa – författare
Visar alla böcker från författaren Silvia Lizeth Tapia Tarifa. Handla med fri frakt och snabb leverans.
6 produkter
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Av Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
Häftad, 2019
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of …
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Av Silvia Lizeth Tapia Tarifa, Wolfgang Ahrendt
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of …
Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Av Silvia Lizeth Tapia Tarifa, José Proença
Häftad, 2022
734 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component …
Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Av Jose Proenca, Silvia Lizeth Tapia Tarifa
E-bok, 2022
923 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022. The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component …
Theoretical Aspects of Computing – ICTAC 2023
20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
Av Erika Ábrahám, Clemens Dubslaff m. fl.
Häftad, 2023
902 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023.The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed …
Theoretical Aspects of Computing - ICTAC 2023
20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
Av Silvia Lizeth Tapia Tarifa, Clemens Dubslaff m. fl.
E-bok, 2023
1150 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed …
