Formal Specification and Design
Material type: TextSeries: Cambridge Tracts in Theoretical Computer Science, 35Publication details: Cambridge ; Cambridge University Press ; 1992Description: 335pISBN: 0 521 43457 2Subject(s): Algebraic specifications State-based specificationsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3.06 FEI (Browse shelf (Opens below)) | Available | 29444 |
There are no comments on this title.