Author/Creator: Seligman, Erik - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Seligman, Erik

1. Formal verification : an essential toolkit for modern VLSI design /: an essential toolkit for modern VLSI design. (2015)

Authors:: Seligman, Erik; Schubert, E. Thomas, 1959-; Kumar, M. V. Achutha Kiran
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Formal verification : an essential toolkit for modern VLSI design /: an essential toolkit for modern VLSI design. (2023)

Authors:: Seligman, Erik; Schubert, E. Thomas, 1959-; Kumar, M. V. Achutha Kiran
Record Type:: Book
Extent:: 1 online resource (352 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Math mutation classics : exploring interesting, fun and weird corners of mathematics /: exploring interesting, fun and weird corners of mathematics. (2016)

Authors:: Seligman, Erik
Record Type:: Book
Extent:: 1 online resource (xxviii, 213 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗