Symbolic Model Checking
A Hardback by Kenneth McMillan
£999.99
Includes FREE delivery
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Symbolic Model Checking by Kenneth McMillan
Book details
Publisher
Kluwer Academic Publishers
Published
31 July 1993
ISBN-13
9780792393801
978-0792393801
978-0792393801
ISBN-10
0792393805
Also in:
Mathematical logic
Mathematical logic