Formal Methods For Software Engineering 1st ed. 2022

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

ISBN 10: 3030388026 ISBN 13: 9783030388027
Published by Springer, 2023
Language: English
Used Condition: As New Soft cover

From GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since April 6, 2009

View this seller's items


Used - Soft cover

Price: US$ 41.35 Convert Currency
US$ 2.64 shipping within U.S.A. Destination, rates & speeds

Quantity: Over 20 available

Add to basket