Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu - Christel Baier - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783662466803 - April 8, 2015
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu 2015 edition

Christel Baier

Price
$ 56.49
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 22 - Nov 3

Our customers say:

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

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu 2015 edition

The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.

725 pages, 210 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 8, 2015
ISBN13 9783662466803
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 725
Dimensions 155 × 235 × 38 mm   ·   1.03 kg
Language French  
Editor Baier, Christel
Editor Tinelli, Cesare
Show all

More by Christel Baier

See all of Christel Baier ( e.g. Paperback Book and Hardcover Book )