Matches in Library of Congress for { <http://lccn.loc.gov/99060130> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 99060130 contributor B8685274.
- 99060130 contributor B8685275.
- 99060130 created "c1999.".
- 99060130 date "1999".
- 99060130 date "c1999.".
- 99060130 dateCopyrighted "c1999.".
- 99060130 description "Includes bibliographical references and index.".
- 99060130 extent "x, 143 p. :".
- 99060130 identifier "0769500811".
- 99060130 issued "1999".
- 99060130 issued "c1999.".
- 99060130 language "eng".
- 99060130 publisher "Los Alamitos, CA : IEEE Computer Society,".
- 99060130 subject "005.1/2/028 21".
- 99060130 subject "Formal methods (Computer science) Congresses.".
- 99060130 subject "QA76.9.F67 W66 1998".
- 99060130 title "Proceedings : 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques : Boca Raton, Florida, October 21-23, 1998 / sponsored by IEEE Computer Society, Technical Committee on Complexity in Computing, Florida Atlantic University.".
- 99060130 type "text".