Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27?April 1, 2021, Proceedings

Groote, Jan Friso (EDT); Larsen, Kim Guldstrand (EDT)

ISBN 10: 3030720152 ISBN 13: 9783030720155
Published by Springer, 2021
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$ 50.48 Convert Currency
US$ 2.64 shipping within U.S.A. Destination, rates & speeds

Quantity: Over 20 available

Add to basket