/LC.GIF&client=easterncarolinaedu)
Workshop on Industrial-Strength Formal Specification Techniques proceedings, April 5-8, 1995, Boca Raton, Florida / sponsored by IEEE Computer Society Technical Council on Software Engineering.
| Author/creator | Workshop on Industrial-Strength Formal Specification Techniques |
| Other author | IEEE Computer Society. Technical Council on Software Engineering. |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Los Alamitos, Calif. : IEEE Computer Society Press, |
| Description | viii, 172 p. : ill. ; 28 cm. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Supplemental Content | Full text available from IEEE Conference Proceedings Archive |
| Subjects |
| Variant title | Industrial-strength formal specification techniques |
| General note | "IEEE catalog number 95TH8051"--T.p. verso. |
| Bibliography note | Iincludes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 94072868 |
| ISBN | 0818670053 (paper) |
| ISBN | 078032529X (IEEE : microfiche) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |