
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Paperback Published on: 23/06/1999
Price: £44.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540662020
- Number of pages: 506
- Dimensions: 235 x 155 mm
- Languages: English

