Buy Used and New TomášVojnar Books

Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, ... 9548 (Lecture Notes in Computer Science)

by Jan Kofron, Tomáš Vojnar

ISBN 13: 9783319298160

Format: Paperback (168 pages)
Publisher: Springer
Published: 04 Feb 2016

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... 11428 (Lecture Notes in Computer Science)

by Tomáš Vojnar, Lijun Zhang

ISBN 13: 9783030174644

Format: Paperback (440 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later