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, 2 - - Books - Springer Nature Switzerland AG - 9783030720124 - March 23, 2021
In case cover and title do not match, the title is correct

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, 2 1st ed. 2021 edition

Price
$ 44.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 17 - 23

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:

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.

465 pages, 91 Illustrations, black and white; XXI, 465 p. 91 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 23, 2021
ISBN13 9783030720124
Publishers Springer Nature Switzerland AG
Pages 465
Dimensions 236 × 156 × 143 mm   ·   728 g
Language German  
Editor Groote, Jan Friso
Editor Larsen, Kim Guldstrand

Mere med samme udgiver