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

Christel Baier
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

Price
$ 55.49
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 19 - 31
Christmas presents can be returned until 31 January

Our customers say:

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

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 )