Proceeding on hardware specification verification and synthesis : Mathematical aspects by Leeser M Ed.; Brown G Ed.

By: Contributor(s): Material type: TextTextLanguage: English Series: Lecture notes in computer science; 408Publication details: Berlin Springer-Verlag 1990Description: 402p. cmSubject(s): DDC classification:
  • D65,8(B)p1,N89, N0
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Call number Status Barcode
Textual Textual Central Science Library Central Science Library D65,8(B)p1,N89 N0 (Browse shelf(Opens below)) Available SL1024107

There are no comments on this title.

to post a comment.
Previous
Back to results
Next
Close