Computational Logic Handbook, A (formal Methods)

Author(s)

Name in long format: Computational Logic Handbook, A (formal Methods)
ISBN-10: 0121229556
ISBN-13: 9780121229559
Book pages: 518
Edition: 2
Binding: Hardcover
Publisher: Morgan Kaufmann

Related Books