Roggenbach Markus (116 results)
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller5-star sellerCondition: Used - As new
£ 32.48
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 43.17
Free ShippingShips 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)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller5-star sellerCondition: New
£ 30.32
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller5-star sellerCondition: New
£ 42.47
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller5-star sellerCondition: Used - As new
£ 43.06
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller5-star sellerCondition: New
£ 30.31
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
On the Construction of Engineering Handbooks : With an Illustration from the Railway Safety Domain
Gruner, Stefan; Kumar, Apurva; Maibaum, Tom; Roggenbach, Markus
Language: English
Published by Springer 2020
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
Contact seller5-star sellerCondition: New
£ 45.23
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
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
Contact seller5-star sellerCondition: New
£ 45.23
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.23
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller5-star sellerCondition: Used - As new
£ 32.70
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
£ 48.86
£ 2.99 shippingShips 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)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller5-star sellerCondition: New
£ 38.51
£ 11.98 shippingShips 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
Gruner, Stefan; Kumar, Apurva; Maibaum, Tom; Roggenbach, Markus
Language: English
Published by Springer 2020
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
Contact seller5-star sellerCondition: Used - As new
£ 50.86
£ 1.98 shippingShips 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
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller5-star sellerCondition: New
£ 51.16
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
£ 46.50
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used. pp. 476 Illus.
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
Contact seller5-star sellerCondition: Used - As new
£ 53.21
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.21
£ 1.98 shippingShips 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
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller5-star sellerCondition: New
£ 38.50
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
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
Contact seller5-star sellerCondition: New
£ 55.95
Free ShippingShips within U.S.A.Quantity: 1 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: Used
£ 46.74
£ 8.60 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used. pp. 476.
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
Contact seller5-star sellerCondition: New
£ 49.27
£ 5.87 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 42.68
£ 13.78 shippingShips 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
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller5-star sellerCondition: Used - As new
£ 42.10
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
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
Contact seller2-star sellerCondition: New
£ 60.62
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: NEW.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller4-star sellerCondition: New
£ 57.70
£ 2.99 shippingShips 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)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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
Contact seller4-star sellerCondition: New
£ 55.31
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
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: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 49.99
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
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: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 55.68
£ 8.60 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
