Elvinia Riccobene – författare

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

5 produkter

1. 

   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, 2021

   729 kr

   Lägg i varukorg

2. 

   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, 2024

   1089 kr

   Lägg i varukorg

3. 

   Rigorous Methods in Theory and Practice

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

   Av Alexander Raschke, Elvinia Riccobene m. fl.

   Häftad, 2026

   959 kr

   Lägg i varukorg

4. 

   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, 2003

   729 kr

   Lägg i varukorg

5. 

   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, 2012

   709 kr

   Lägg i varukorg