Jose Creissac Campos – författare
Visar alla böcker från författaren Jose Creissac Campos. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 14010 - Lecture Notes in Computer Science
Rigorous State-Based Methods
9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Häftad, Engelska, 2023
823 kr
Skickas inom 5-8 vardagar
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Engelska, 2023
650 kr
Skickas inom 5-8 vardagar
Del 15518 - Lecture Notes in Computer Science
Engineering Interactive Computer Systems. EICS 2024 International Workshops
Cagliari, Sardinia, Italy, June 24–28, 2024, Revised Selected Papers
Häftad, Engelska, 2025
1 428 kr
Skickas inom 10-15 vardagar
This book presents a series of revised papers selected from the Workshops organized in conjunction with the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) which was held in Cagliari, Italy, during June 24