Symbolic model checking :: Kenneth L. McMillan :: ISBN 0792393805 :: Kluwer Academic 1993 :: OBNB, the Open British National Bibliography

Publication Data

Title Symbolic model checking
Author Kenneth L. McMillan
Publisher Kluwer Academic
Publication date 1993
Publication location Boston
Language English

Descriptive Notes

Bibliography: p183-190. - Includes index.

Topics

Electronic digital computers :: Circuits :: Design :: Data processing
Symbolic circuit analysis :: Data processing
009093177

Catalogue Data

OBNB ID GB9343190
ISBN 10 0792393805
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.21

ISBD

P1053 xv,194p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Symbolic model checking by Kenneth L. McMillan. ISBN 0792393805. Published by Kluwer Academic in 1993. Publication and catalogue information, links to buy online and reader comments.