Rigorous State-Based Methods
Patrizia Scandurra, Elvinia Riccobene, Michael Leuschel, Angelo Gargantini, Silvia Bonfanti
E-bok
20241 056 kr
AvElvinia Riccobene,Angelo Gargantini
734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.
The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.
Patrizia Scandurra, Elvinia Riccobene, Michael Leuschel, Angelo Gargantini, Silvia Bonfanti
1 056 kr
Egon Börger, Angelo Gargantini, Elvinia Riccobene
Häftad, 2003
566 kr
Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
Häftad, 2024
860 kr
Elvinia Riccobene, Steve Reeves, Michael Leuschel, Sarfraz Khurshid, Stefania Gnesi, John Fitzgerald, John Derrick
718 kr
John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
Häftad, 2012
549 kr
Bernhard Thalheim, Klaus-Dieter Schewe, Elvinia Riccobene, Alexander Raschke
975 kr