Markus Roggenbach – författare
Visar alla böcker från författaren Markus Roggenbach. Handla med fri frakt och snabb leverans.
15 produkter
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Inbunden, 2022
902 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Siraj Ahmed Shaikh, Gerardo Schneider m. fl.
E-bok, 2022
897 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Häftad, 2023
679 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what …
On the Construction of Engineering Handbooks
with an Illustration from the Railway Safety Domain
Av Stefan Gruner, Apurva Kumar m. fl.
Häftad, 2020
550 kr
Lägg i varukorg
This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as “settled knowledge” (extracted from historic repositories) for inclusion into such a handbook, and the “assembly” of such identified knowledge into a form which is …
On the Construction of Engineering Handbooks
with an Illustration from the Railway Safety Domain
Av Markus Roggenbach, Tom Maibaum m. fl.
E-bok, 2020
734 kr
Lägg i varukorg
This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as “settled knowledge” (extracted from historic repositories) for inclusion into such a handbook, and the “assembly” of such identified knowledge into a form which is …
Formal Methods – Fun for Everybody
First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
Av Antonio Cerone, Markus Roggenbach
Häftad, 2021
535 kr
Lägg i varukorg
This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected …
Formal Methods - Fun for Everybody
First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
Av Markus Roggenbach, Antonio Cerone
E-bok, 2021
713 kr
Lägg i varukorg
This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019. The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected …
Recent Trends in Algebraic Development Techniques
25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Häftad, 2021
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 …
Recent Trends in Algebraic Development Techniques
25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
E-bok, 2021
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020. The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 …
Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Av Anne E. Haxthausen, Wen-ling Huang m. fl.
Häftad, 2023
846 kr
Lägg i varukorg
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on …
Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Av Markus Roggenbach, Wen-ling Huang m. fl.
E-bok, 2023
1091 kr
Lägg i varukorg
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on …
Recent Trends in Algebraic Development Techniques
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Av Phillip James, Markus Roggenbach
Häftad, 2017
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two …
Recent Trends in Algebraic Development Techniques
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Av Markus Roggenbach, Phillip James
E-bok, 2017
734 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK. The 9 revised papers presented together with two invited talks, one invited paper and two …
Algebra and Coalgebra in Computer Science
First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Av José Luis Fiadeiro, Neil Harman m. fl.
Häftad, 2005
567 kr
Lägg i varukorg
In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-level biennial conference. CALCO, the Conference on …
Algebra and Coalgebra in Computer Science
First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Av Jan Rutten, Markus Roggenbach m. fl.
E-bok, 2005
739 kr
Lägg i varukorg
