Rigorous State-Based Methods
Patrizia Scandurra, Elvinia Riccobene, Michael Leuschel, Angelo Gargantini, Silvia Bonfanti
E-bok
20241 022 kr
Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
AvElvinia Riccobene,Angelo Gargantini
E-bok
PDF, Engelska, 2003708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Abstract State Machines 2003: Advances in Theory and Practice
Egon Börger, Angelo Gargantini, Elvinia Riccobene
Häftad, 2003
566 kr
Rigorous State-Based Methods
Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
Häftad, 2024
841 kr
Del 12750
Logic, Computation and Rigorous Methods
Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
Häftad, 2021
565 kr
Abstract State Machines, Alloy, B, VDM, and Z
Elvinia Riccobene, Steve Reeves, Michael Leuschel, Sarfraz Khurshid, Stefania Gnesi, John Fitzgerald, John Derrick
E-bok
2012687 kr
Del 14131
Abstract State Machines, Alloy, B, VDM, and Z
John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
Häftad, 2012
549 kr