Roggenbach Markus (117 results)

Condition: Used - As new

£ 32.47

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Algebra And Coalgebra In Computer Science

Language: English

Published by Springer 2005

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.

5-star seller

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

Condition: New

£ 43.06

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Language: English

Published by Springer 2023

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

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

Condition: New

£ 30.32

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Formal Methods For Software Engineering 1st ed. 2022

Language: English

Published by Springer 2023

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Softcover

Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

5-star seller

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condition: New

£ 42.34

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods for Software Engineering : Languages, Methods, Application Domains

Language: English

Published by Springer 2022

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Hardcover

Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

5-star seller

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

Condition: Used - As new

£ 43.12

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods For Software Engineering 1st ed. 2022

Language: English

Published by Springer 2023

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

3030737845 / 9783030737849

Condition: New

£ 30.31

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Recent Trends in Algebraic Development Techniques : 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Roggenbach, Markus (EDT)

Language: English

Published by Springer 2021

Series: Lecture Notes in Computer Science, Book 90 of 129. Book 90 of 129 - Lecture Notes in Computer Science

Softcover

Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

5-star seller

James, Phillip (EDT); Roggenbach, Markus (EDT)

Condition: New

£ 45.11

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Recent Trends in Algebraic Development Techniques : 23rd Ifip Wg 1.3 International Workshop, Wadt 2016, Gregynog, Uk, September 21-24, 2016, Revised Selected Papers

Language: English

Published by Springer 2017

3319720430 / 9783319720432

Softcover

Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

5-star seller

Gruner, Stefan; Kumar, Apurva; Maibaum, Tom; Roggenbach, Markus

Condition: New

£ 45.11

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

On the Construction of Engineering Handbooks : With an Illustration from the Railway Safety Domain

Language: English

Published by Springer 2020

3030446476 / 9783030446475

Series: SpringerBriefs in Computer Science, Book 306 of 322. Book 306 of 322 - SpringerBriefs in Computer Science

Softcover

Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 45.15

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods For Software Engineering 1st ed. 2022

Language: English

Published by Springer 2023

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 32.68

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Algebra and Coalgebra in Computer Science

Language: English

Published by Springer 2005

Softcover

Seller: Books Puddle, New York, U.S.A.Books Puddle

4-star seller

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

Condition: Used

£ 48.73

£ 2.98 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Used. pp. 476.

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Language: English

Published by Springer 2022

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Hardcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Gruner, Stefan; Kumar, Apurva; Maibaum, Tom; Roggenbach, Markus

Condition: New

£ 38.51

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

On the Construction of Engineering Handbooks : With an Illustration from the Railway Safety Domain

Language: English

Published by Springer 2020

3030446476 / 9783030446475

Series: SpringerBriefs in Computer Science, Book 306 of 322. Book 306 of 322 - SpringerBriefs in Computer Science

Softcover

Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

5-star seller

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condition: Used - As new

£ 50.72

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods for Software Engineering : Languages, Methods, Application Domains

Language: English

Published by Springer 2022

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Hardcover

Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 51.01

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Algebra and Coalgebra in Computer Science

Language: English

Published by Springer 2005

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

3030737845 / 9783030737849

Condition: Used

£ 46.38

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: Used. pp. 476 Illus.

Recent Trends in Algebraic Development Techniques : 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Roggenbach, Markus (EDT)

Language: English

Published by Springer 2021

Series: Lecture Notes in Computer Science, Book 90 of 129. Book 90 of 129 - Lecture Notes in Computer Science

Softcover

Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

5-star seller

James, Phillip (EDT); Roggenbach, Markus (EDT)

Condition: Used - As new

£ 53.07

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Recent Trends in Algebraic Development Techniques : 23rd Ifip Wg 1.3 International Workshop, Wadt 2016, Gregynog, Uk, September 21-24, 2016, Revised Selected Papers

Language: English

Published by Springer 2017

3319720430 / 9783319720432

Softcover

Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices

5-star seller

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condition: Used - As new

£ 53.07

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods for Software Engineering : Languages, Methods, Application Domains

Language: English

Published by Springer 2022

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Hardcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 38.50

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods for Software Engineering

Markus Roggenbach

Language: English

Published by Springer Nature Switzerland AG 2023

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Softcover

Seller: PBShop.store US, Wood Dale, U.S.A.PBShop.store US

5-star seller

Harman Neil Fiadeiro Jos? Luis Roggenbach Markus

Condition: New

£ 55.80

Free Shipping

Ships within U.S.A.

Quantity: 1 available

PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.

Algebra and Coalgebra in Computer Science

Language: English

Published by Springer 2005

Softcover

Seller: Biblios, frankfurt am main, GermanyBiblios

4-star seller

Condition: Used

£ 46.66

£ 8.58 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

Condition: Used. pp. 476.

Formal Methods for Software Engineering

Markus Roggenbach

Language: English

Published by Springer Nature Switzerland AG 2023

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Softcover

Seller: PBShop.store UK, Fairford, United KingdomPBShop.store UK

5-star seller

Rutten, Jan, Markus Roggenbach and Neil Harman:

Condition: New

£ 49.27

£ 5.87 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.

Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings Lecture Notes in Computer Science, 3629

Language: English

Published by Springer 2005

Softcover

Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

5-star seller

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condition: Used - Very good

£ 42.61

£ 13.76 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

Broschiert. Condition: Gut. 455 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 720.

Formal Methods for Software Engineering : Languages, Methods, Application Domains

Language: English

Published by Springer 2022

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Hardcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

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

Condition: Used - As new

£ 42.08

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Language: English

Published by Springer 2023

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Softcover

Seller: Books Puddle, New York, U.S.A.Books Puddle

4-star seller

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

Condition: New

£ 57.54

£ 2.98 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: New.

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Language: English

Published by Springer 2023

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

Condition: New

£ 55.16

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Condition: New.

FORMAL METHODS FOR SOFTWARE ENGINEERING

ROGGENBACH,MARKUS

Language: English

Published by Springer 2023

Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

Softcover

Seller: Speedyhen LLC, Hialeah, U.S.A.Speedyhen LLC

2-star seller

3319720430 / 9783319720432

Condition: New

£ 64.34

Free Shipping

Ships within U.S.A.

Quantity: 3 available

Condition: NEW.

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised ... Computer Science and General Issues)

Language: English

Published by Springer 2017

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings (Lecture Notes in Computer Science, 3629)

Language: English

Published by Springer 2005

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

3030713733 / 9783030713737

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Formal Methods - Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers (Communications in Computer and Information Science)

Language: English

Published by Springer 2021

Series: Communications in Computer and Information Science, Book 31 of 78. Book 31 of 78 - Communications in Computer and Information Science

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Gruner, Stefan; Kumar, Apurva; Maibaum, Tom; Roggenbach, Markus

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain (SpringerBriefs in Computer Science)

Language: English

Published by Springer 2020

3030446476 / 9783030446475

Series: SpringerBriefs in Computer Science, Book 306 of 322. Book 306 of 322 - SpringerBriefs in Computer Science

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller