Hoppa till sidans huvudinnehåll

Elvinia Riccobene – författare

Visar alla böcker från författaren .
5 produkter
Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe - Logic, Computation and Rigorous Methods, Häftad
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

Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra - Rigorous State-Based Methods, Häftad

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 079 kr

Skickas inom 10-15 vardagar

Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe, Bernhard Thalheim - Rigorous Methods in Theory and Practice, Häftad
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

959 kr

Skickas inom 5-8 vardagar

Egon Börger, Angelo Gargantini, Elvinia Riccobene - Abstract State Machines 2003: Advances in Theory and Practice, Häftad

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

John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene - Abstract State Machines, Alloy, B, VDM, and Z, Häftad

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