Elvinia Riccobene – författare
Visar alla böcker från författaren Elvinia Riccobene. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 12750 - Lecture Notes in Computer Science
Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Häftad, Engelska, 2021
719 kr
Skickas inom 10-15 vardagar
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Häftad, Engelska, 2024
1 079 kr
Skickas inom 10-15 vardagar
Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Häftad, Engelska, 2003
719 kr
Skickas inom 10-15 vardagar
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Häftad, Engelska, 2012
699 kr
Skickas inom 10-15 vardagar