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!
|
