Workshop on Industrial-Strength Formal Specification Techniques : proceedings, April 5-8, 1995, Boca Raton, Florida /
| Corporate Authors: | , |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Los Alamitos, Calif. :
IEEE Computer Society Press,
[1995]
|
| Subjects: |
Remote Storage
| Call Number: |
QA76.76.D47 W67 1995 |
|
|---|---|---|
| Call Number | Status | Get It |
| QA76.76.D47 W67 1995 | Available | |