Image from Coce

Formal specification and verification of digital systems Milne George

By: Material type: TextTextLanguage: English Publication details: London McGraw-HillBook Company 1994Description: xiv,240pISBN:
  • 007707811X (hbd)
Subject(s): DDC classification:
  • D65,221:5, N4
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,221:5 N4 (Browse shelf(Opens below)) Available SL1173313

Bibliographical references 232-235p; Index 236-240p

There are no comments on this title.

to post a comment.