Matches in Library of Congress for { <http://lccn.loc.gov/94072868> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 94072868 alternative "Industrial-strength formal specification techniques".
- 94072868 contributor B7223682.
- 94072868 contributor B7223683.
- 94072868 created "c1995.".
- 94072868 date "1995".
- 94072868 date "c1995.".
- 94072868 dateCopyrighted "c1995.".
- 94072868 description "Iincludes bibliographical references and index.".
- 94072868 extent "viii, 172 p. :".
- 94072868 identifier "078032529X (IEEE : microfiche)".
- 94072868 identifier "0818670053 (paper)".
- 94072868 issued "1995".
- 94072868 issued "c1995.".
- 94072868 language "eng".
- 94072868 publisher "Los Alamitos, Calif. : IEEE Computer Society Press,".
- 94072868 subject "005.1/2/028 20".
- 94072868 subject "Computer software Development Congresses.".
- 94072868 subject "QA76.76.D47 W67 1995".
- 94072868 title "Industrial-strength formal specification techniques".
- 94072868 title "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.".
- 94072868 type "text".