Found 3 books

Tools and Algorithms for the Construction and Analysis of Systems, 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

[en] Tools and Algorithms for the Construction and Analysis of Systems, 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III Springer International Publishing

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen & Beyer, Dirk & Huisman, Marieke & Kordon, Fabrice & Bernhard Steffen

download read it!
Tools and Algorithms for the Construction and Analysis of Systems, 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

[en] Tools and Algorithms for the Construction and Analysis of Systems, 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II Springer

Tomáš Vojnar & Lijun Zhang & Beyer, Dirk & Huisman, Marieke

download read it!
Encadrer, Un Métier Impossible ?

[fr] Encadrer, Un Métier Impossible ? Armand Colin

Beyer, Mispelblom

download read it!