Elvinia Riccobene – författare
Visar alla böcker från författaren Elvinia Riccobene. Handla med fri frakt och snabb leverans.
10 produkter
Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Av Alexander Raschke, Elvinia Riccobene m. fl.
Häftad, 2021
566 kr
Lägg i varukorg
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are …
Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Av Klaus-Dieter Schewe, Elvinia Riccobene m. fl.
E-bok, 2021
734 kr
Lägg i varukorg
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger''s inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger''s research interests are …
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Av Silvia Bonfanti, Angelo Gargantini m. fl.
Häftad, 2024
846 kr
Lägg i varukorg
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 in this volume were carefully reviewed and selected from 47 submissions. They were organized in …
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Av Patrizia Scandurra, Elvinia Riccobene m. fl.
E-bok, 2024
1067 kr
Lägg i varukorg
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 in this volume were carefully reviewed and selected from 47 submissions. They were organized in …
Rigorous Methods in Theory and Practice
Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday
Av Alexander Raschke, Elvinia Riccobene m. fl.
Häftad, 2026
747 kr
Kommande
This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages …
Rigorous Methods in Theory and Practice
Essays Dedicated to Egon Borger on the Occasion of His 80th Birthday
Av Bernhard Thalheim, Klaus-Dieter Schewe m. fl.
E-bok, 2026
1007 kr
Lägg i varukorg
This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages …
Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Av Egon Börger, Angelo Gargantini m. fl.
Häftad, 2003
566 kr
Lägg i varukorg
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 …
Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Av Elvinia Riccobene, Angelo Gargantini m. fl.
E-bok, 2003
734 kr
Lägg i varukorg
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 …
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av John Derrick, John Fitzgerald m. fl.
Häftad, 2012
550 kr
Lägg i varukorg
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 together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 …
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av Elvinia Riccobene, Steve Reeves m. fl.
E-bok, 2012
718 kr
Lägg i varukorg
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 together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 …
