Buy Used and New Jean-Francois Raskin Books

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings: 8837 (Lecture Notes in Computer Science)

by Franck Cassez,Jean-Francois Raskin

ISBN 13: 9783319119359

Format: Paperback (456 pages)
Publisher: Springer
Published: 29 Sep 2014

Save for later