Eruditor.com > A.J. Hu

A.J. Hu

Computer Aided Verification

10Th International Conference, Cav '98, Vancouver, Bc, Canada, June 28 - July 2, 1998 Proceedings
Editor: A.J. Hu
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 1998
Paperback, 561 pages

Our price: £27.65
List price: £39.50
You save: 30%

In stock: Usually ships within 24 hours.

Will be shipped from: United Kingdom
 Add to Shopping Basket 
© 2006-2008 Eruditor Ltd and its partners

Search

Whole catalogue
Philosophy & theory of psychology

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z