Riccobene, Elvinia books & textbook
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (Lecture Notes in Computer Science, 2589)
Börger, Egon Gargantini, Angelo Riccobene, Elvinia
Springer /2003-02-21 Paperback / 448 Pages
isbn-10: 3540006249 / isbn-13: 9783540006244
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Programming and Software Engineering)
Raschke, Alexander Riccobene, Elvinia Schewe, Klaus-Dieter
Springer /2021-06-04 Paperback / 372 Pages
isbn-10: 3030760197 / isbn-13: 9783030760199
Applying TAME to I/O Automata: A User's Perspective
PN /2000T Paperback
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7316)
Derrick, John Fitzgerald, John Gnesi, Stefania Khurshid, Sarfraz Leuschel, Michael Reeves, Steve Riccobene, Elvinia
Springer /2012-06-12 Paperback / 393 Pages
isbn-10: 3642308848 / isbn-13: 9783642308840
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings (Lecture Notes in Computer Science, 14759)
Bonfanti, Silvia Gargantini, Angelo Leuschel, Michael Riccobene, Elvinia Scandurra, Patrizia
Springer /2024-06-21 Paperback / 413 Pages
isbn-10: 3031637895 / isbn-13: 9783031637896
