Hoppa till sidans huvudinnehåll

Elvinia Riccobene – författare

Visar alla böcker från författaren Elvinia Riccobene.
5 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

AvAlexander Raschke,Elvinia Riccobenem. fl.

Häftad, Engelska, 2021

729 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 089 kr

Skickas inom 10-15 vardagar

  • Nyhet

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

959 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

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

AvJohn Derrick,John Fitzgeraldm. fl.

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar