Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedin - - Books - Springer International Publishing AG - 9783319899626 - April 14, 2018
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedin 1st ed. 2018 edition

Price
$ 54.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:

465 pages, 92 Illustrations, black and white; XX, 465 p. 92 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 14, 2018
ISBN13 9783319899626
Publishers Springer International Publishing AG
Pages 465
Dimensions 158 × 234 × 30 mm   ·   724 g
Language German  
Editor Beyer, Dirk, Ph. D.
Editor Huisman, Marieke

Mere med samme udgiver