Elvinia Riccobene - Böcker

Visar alla böcker från författaren Elvinia Riccobene.

4 produkter

Kategorier

4 produkter

Logic, Computation and Rigorous Methods

Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Av Alexander Raschke, Elvinia Riccobene m. fl

Häftad, Engelska, 2021

709 kr

Skickas inom 10-15 vardagar

Rigorous State-Based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Av Silvia Bonfanti, Angelo Gargantini m. fl

Häftad, Engelska, 2024

1 059 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

Av Egon Börger, Angelo Gargantini m. fl

Häftad, Engelska, 2003

729 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

Av John Derrick, John Fitzgerald m. fl

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar