Alexander Raschke – författare
Visar alla böcker från författaren Alexander Raschke. Handla med fri frakt och snabb leverans.
12 produkter
Rigorous State-Based Methods
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Av Alexander Raschke, Dominique Méry m. fl.
Häftad, 2020
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully …
Rigorous State-Based Methods
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Av Frank Houdek, Dominique Mery m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully …
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
8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Av Alexander Raschke, Dominique Méry
Häftad, 2021
678 kr
Lägg i varukorg
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers …
Rigorous State-Based Methods
8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Av Dominique Mery, Alexander Raschke
E-bok, 2021
894 kr
Lägg i varukorg
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers …
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
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 …
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, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Av Michael Butler, Alexander Raschke m. fl.
Häftad, 2018
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 …
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Av Klaus Reichl, Thai Son Hoang m. fl.
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 …
Modeling Companion for Software Practitioners
Av Egon Börger, Alexander Raschke
Häftad, 2018
734 kr
Lägg i varukorg
This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple …
Modeling Companion for Software Practitioners
Av Alexander Raschke, Egon Borger
E-bok, 2018
923 kr
Lägg i varukorg
This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple …
