Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, P - - Books - Springer Nature Switzerland AG - 9783030452360 - April 18, 2020
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, P 1st ed. 2020 edition

Price
$ 44.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

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

Also available as:

425 pages, 1 Illustrations, black and white; XXIII, 425 p. 1 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 18, 2020
ISBN13 9783030452360
Publishers Springer Nature Switzerland AG
Pages 425
Dimensions 150 × 220 × 10 mm   ·   688 g
Language German  
Editor Biere, Armin
Editor Parker, David

Mere med samme udgiver