Coverart for item
The Resource Formal methods in circuit design, V. Stavridou

Formal methods in circuit design, V. Stavridou

Label
Formal methods in circuit design
Title
Formal methods in circuit design
Statement of responsibility
V. Stavridou
Creator
Subject
Member of
Series statement
Cambridge tracts in theoretical computer science
Series volume
37
Formal methods in circuit design, V. Stavridou
Label
Formal methods in circuit design, V. Stavridou
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references (p. 171-190) and index
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9780521443364&userID=ebsco-test&password=ebsco-test
Dimensions
26 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1258312'}
Extent
xiii, 193 p.
Isbn
9780521443364
Isbn Type
(hardback)
Lccn
94-105245
Other physical details
ill.

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...