VDM '90 : VDM and Z - formal methods in software development
| Main Authors: | , , |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Published: |
Berlin :
Springer-Verlag ,
c1990
|
| Series: | Lecture notes in computer science / edited by G. Goos and J. Hartmanis
|
| Subjects: |
Tembila General Collection
| Call Number: |
QA76 76 D47 I61 1990 |
|---|
| Accession | Item Category | Format | Status | Notes |
|---|
| 1000085746 | OPEN SHELF (30 DAYS) | Book | Available |