Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday: 2772 (Lecture Notes in Computer Science)

More Information

Format: Paperback
Pages: 804
Edition: 2003
Publisher: Springer
Published: 22 Feb 2009
ISBN 10: 3540210024
ISBN 13: 9783540210023