Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Par - - Books - Springer International Publishing AG - 9783031308222 - April 22, 2023
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Par 1st ed. 2023 edition

Price
$ 44.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 24 - 30

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

708 pages, 140 Illustrations, color; 53 Illustrations, black and white; XXIII, 708 p. 193 illus., 14

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 22, 2023
ISBN13 9783031308222
Publishers Springer International Publishing AG
Pages 708
Dimensions 157 × 234 × 43 mm   ·   1.08 kg
Language German  
Editor Sankaranarayanan, Sriram
Editor Sharygina, Natasha

More from the same publisher