Image of Using Z Specification, Refinement, and Proof

Text

Using Z Specification, Refinement, and Proof



Description Not Available


Availability

398.2015005.12 WOO uMy LibraryAvailable

Detail Information

Series Title
-
Call Number
005.12 WOO u
Publisher Prentice Hall : New Jersey.,
Collation
xvi, 386 p. : illus. : tab. ; 23 cm.
Language
English
ISBN/ISSN
9780139484728
Classification
005.12
Content Type
-
Media Type
-
Carrier Type
-
Edition
-
Subject(s)
Specific Detail Info
Rak B
Statement of Responsibility
Collection Type

Other version/related

No other version available




Information


RECORD DETAIL


Back To PreviousXML DetailCite this