Books By Roggenbach, Markus

1.

Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1. 3 International Workshop,...

ISBN:: 978-3-319-72043-2

Book Format:: Paperback

List Price:: USD $69.99USD $54.99

Publisher:: Springer International Publishing AG

Publication Date:: Dec 2017

2.

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Author:: Roggenbach, Markus
Cerone, Antonio
Schlingloff, Bernd-Holger
Schneider, Gerardo
Shaikh, Siraj Ahmed

ISBN:: 978-3-030-38802-7

Book Format:: Paperback

List Price:: USD $59.99

Publisher:: Springer International Publishing AG

Publication Date:: Jun 2023

3.

Algebra and Coalgebra in Computer Science

First International Conference, CALCO 2005,...

ISBN:: 978-3-540-31876-7

Book Format:: Ebook

List Price:: USD $129.00

Publisher:: Springer London, Limited

Publication Date:: Aug 2005

4.

On the Construction of Engineering Handbooks

With an Illustration from the Railway Safety Domain

Author:: Gruner, Stefan
Kumar, Apurva
Maibaum, Tom
Roggenbach, Markus

ISBN:: 978-3-030-44647-5

Book Format:: Paperback

List Price:: USD $59.99USD $54.99

Publisher:: Springer International Publishing AG

Publication Date:: Apr 2020

5.

Applicable Formal Methods for Safe Industrial Products

Essays Dedicated to Jan Peleska on the...

ISBN:: 978-3-031-40131-2

Book Format:: Paperback

List Price:: USD $74.99

Publisher:: Springer

Publication Date:: Aug 2023

6.

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Author:: Roggenbach, Markus
Cerone, Antonio
Schlingloff, Bernd-Holger
Schneider, Gerardo
Shaikh, Siraj Ahmed

ISBN:: 978-3-030-38799-0

Book Format:: Hardback

List Price:: USD $84.99

Publisher:: Springer International Publishing AG

Publication Date:: Jun 2022

7.

Formal Methods - Fun for Everybody

First International Workshop, FMFun 2019,...

ISBN:: 978-3-030-71373-7

Book Format:: Paperback

List Price:: USD $99.99USD $54.99

Publisher:: Springer International Publishing AG

Publication Date:: Mar 2021

8.

Recent Trends in Algebraic Development Techniques

25th International Workshop, WADT 2020,...

ISBN:: 978-3-030-73784-9

Book Format:: Paperback

List Price:: USD $74.99USD $54.99

Publisher:: Springer International Publishing AG

Publication Date:: Apr 2021

Books » Roggenbach, Markus Books » Books By Roggenbach, Markus

Related Keywords

Refine Options

Featured Books


1.		Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1. 3 International Workshop,... ISBN: 978-3-319-72043-2 Book Format: Paperback List Price: USD $69.99USD $54.99 Publisher: Springer International Publishing AG Publication Date: Dec 2017 Quantity Note

2.		Formal Methods for Software Engineering Languages, Methods, Application Domains Author: Roggenbach, Markus Cerone, Antonio Schlingloff, Bernd-Holger Schneider, Gerardo Shaikh, Siraj Ahmed ISBN: 978-3-030-38802-7 Book Format: Paperback List Price: USD $59.99 Publisher: Springer International Publishing AG Publication Date: Jun 2023 Quantity Note

3.		Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005,... ISBN: 978-3-540-31876-7 Book Format: Ebook List Price: USD $129.00 Publisher: Springer London, Limited Publication Date: Aug 2005 Quantity Note

4.		On the Construction of Engineering Handbooks With an Illustration from the Railway Safety Domain Author: Gruner, Stefan Kumar, Apurva Maibaum, Tom Roggenbach, Markus ISBN: 978-3-030-44647-5 Book Format: Paperback List Price: USD $59.99USD $54.99 Publisher: Springer International Publishing AG Publication Date: Apr 2020 Quantity Note

5.		Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the... ISBN: 978-3-031-40131-2 Book Format: Paperback List Price: USD $74.99 Publisher: Springer Publication Date: Aug 2023 Quantity Note

6.		Formal Methods for Software Engineering Languages, Methods, Application Domains Author: Roggenbach, Markus Cerone, Antonio Schlingloff, Bernd-Holger Schneider, Gerardo Shaikh, Siraj Ahmed ISBN: 978-3-030-38799-0 Book Format: Hardback List Price: USD $84.99 Publisher: Springer International Publishing AG Publication Date: Jun 2022 Quantity Note

7.		Formal Methods - Fun for Everybody First International Workshop, FMFun 2019,... ISBN: 978-3-030-71373-7 Book Format: Paperback List Price: USD $99.99USD $54.99 Publisher: Springer International Publishing AG Publication Date: Mar 2021 Quantity Note

8.		Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020,... ISBN: 978-3-030-73784-9 Book Format: Paperback List Price: USD $74.99USD $54.99 Publisher: Springer International Publishing AG Publication Date: Apr 2021 Quantity Note