Z an introduction to formal methods
Material type:
TextPublication details: Chichester; John Wiley; 1994Edition: 2Description: xix, 374pISBN: - 471939730
| Item type | Home library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
BOOKS
|
AMRITA SCHOOL OF ENGINEERING | REFERENCE | 004.438Z N40 (Browse shelf(Opens below)) | Not for loan | 32184 |
Browsing AMRITA SCHOOL OF ENGINEERING shelves, Collection: REFERENCE Close shelf browser (Hides shelf browser)
|
|
|
No cover image available | No cover image available | ||
| 004.438PYT Q32 Python cookbook | 004.438PYT Q32 Python cookbook | 004.438R Q40 Introduction to scientific programming and simulation using R | 004.438Z N40 Z an introduction to formal methods | 004.436.2VHS P60 RTL hardware design using VHDL coding for efficiency, portability, and scalability |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.