Alexander raschke (37 Ergebnisse)

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Paperback. Zustand: Brand New. 369 pages. 9.25x6.10x0.84 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 440 pages. 9.25x6.10x1.06 inches. In Stock.

Paperback. Zustand: Brand New. 448 pages. 9.25x6.10x1.01 inches. In Stock.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift was published in honor of Egon Börger on the occasion of his 75thbirthday.It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields oflogic and computer science, Egon Börger's research interests are unusual in scope,from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).…

Paperback. Zustand: Brand New. 177 pages. 9.25x6.10x0.38 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 8th International Conference onRigorous 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 included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.…

Paperback. Zustand: Brand New. 372 pages. 9.00x6.25x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.Prof. Börger has collaborated with a wide range of scientists and practitioners, their interests and successes are reflected in the papers contributed to this volume. …

Taschenbuch. Zustand: Neu. Rigorous State-Based Methods | 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings | Alexander Raschke (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2020 | Springer | EAN 9783030480769 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic, Computation and Rigorous Methods | Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday | Alexander Raschke (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2021 | Springer | EAN 9783030760199 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…