Buy Used and New Chantal Keller Books

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... 11823 (Lecture Notes in Computer Science)

by Dirk Beyer, Chantal Keller

ISBN 13: 9783030311568

Format: Paperback (220 pages)
Publisher: Springer
Published: 11 Sep 2019

Save for later