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 - 9783319899596 - April 12, 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 2018 edition

Get an email once the item is available
Do you have a profile? Log in

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

429 pages, 93 Illustrations, black and white; XX, 429 p. 93 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 12, 2018
ISBN13 9783319899596
Publishers Springer International Publishing AG
Pages 429
Dimensions 150 × 220 × 10 mm   ·   688 g
Language German  
Editor Beyer, Dirk, Ph. D.
Editor Huisman, Marieke

More from the same publisher