For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Page Top
HOL Theorem Proving System and Applications
HOL Theorem Proving System and Applications
(
)
ISBN:
978-0-8186-2460-5
Publication Date:
Jan 1992
Publisher:
IEEE Computer Society Press
Book Format:
Paperback
List Price:
USD $80.00
Buy Now
Book Details
Pages:
432
Detailed Subjects:
Computers / General
Featured Books
View more Featured Books
Rate this title:
Select your rating below then click 'submit'.
Rating value is required.
I do not wish to rate this title.