
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Paperback Published on: 01/06/1994
Price: £44.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540581796
- Number of pages: 486
- Dimensions: 235 x 155 mm
- Languages: English

