Elvinia Riccobene – författare

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

5 produkter

Kategorier

5 produkter

Del 12750
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
AvAlexander Raschke,Elvinia Riccobenem. fl.
Häftad, Engelska, 2021
739 kr
Skickas inom 10-15 vardagar
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
AvSilvia Bonfanti,Angelo Gargantinim. fl.
Häftad, Engelska, 2024
1 109 kr
Skickas inom 10-15 vardagar
Del 16580
Del 16580 - Lecture Notes in Computer Science
Rigorous Methods in Theory and Practice
Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday
AvAlexander Raschke,Elvinia Riccobenem. fl.
Häftad, Engelska, 2026
979 kr
Skickas inom 5-8 vardagar
Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
AvEgon Börger,Angelo Gargantinim. fl.
Häftad, Engelska, 2003
739 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
AvJohn Derrick,John Fitzgeraldm. fl.
Häftad, Engelska, 2012
729 kr
Skickas inom 10-15 vardagar