An introduction to formal specification and Z / Ben Potter, Jane Sinclair and David Till
| Main Author: | Potter, Ben |
|---|---|
| Other Authors: | Sinclair, Jane, Till, David |
| Format: | MONOGRAPHS |
| Language: | English |
| Published: |
New York : Prentice Hall, 1991 |
| Subjects: |
Formal languages.
Software engineering. Z (Computer program language) |
| Tags: |
Add
No Tags, Be the first to tag this record!
|
| Item Description: |
Includes index. |
|---|---|
| Physical Description: |
xiii, 304 p. : tables ; 23 cm. |
| ISBN: |
0134787021 |