Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, ... 9984 (Lecture Notes in Computer Science)
by Martin Fränzle, Deepak Kapur, Naijun Zhan
ISBN 13: 9783319476766
Format: Paperback (344 pages) Publisher: Springer Published: 06 Oct 2016
Save for later
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings: 10580 (Lecture Notes in Computer Science)
by Dang Van Hung,Deepak Kapur
ISBN 13: 9783319677286
Format: Paperback (328 pages) Publisher: Springer Published: 12 Oct 2017
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Computer Science)
by Stéphane Demri, Deepak Kapur, Christoph Weidenbach
ISBN 13: 9783319085869
Format: Paperback (556 pages) Publisher: Springer Published: 04 Aug 2014