4 Ebooks por Elvinia Riccobene
Egon Borger & Angelo Gargantini: Abstract State Machines 2003: Advances in Theory and Practice
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 toge …
PDF
Inglês
DRM
€57.36
John Derrick & John Fitzgerald: Abstract State Machines, Alloy, B, VDM, and Z
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented toge …
PDF
Inglês
DRM
€57.65
Alexander Raschke & Elvinia Riccobene: Logic, Computation and Rigorous Methods
This Festschrift was published in honor of Egon Borger on the occasion of his 75th birthday.It acknowledges Prof. Borger’s inspiration as a scientist, author, mentor, and community organizer. Dedicat …
EPUB
Inglês
DRM
€57.90
Silvia Bonfanti & Angelo Gargantini: Rigorous State-Based Methods
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.The 29 papers included i …
EPUB
Inglês
DRM
€83.45
