Matches in Library of Congress for { <http://lccn.loc.gov/99033669> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 99033669 contributor B8656384.
- 99033669 created "c1999.".
- 99033669 date "1999".
- 99033669 date "c1999.".
- 99033669 dateCopyrighted "c1999.".
- 99033669 description "Includes bibliographical references and index.".
- 99033669 extent "xvi, 400 p. :".
- 99033669 identifier "1852336404 (alk. paper)".
- 99033669 identifier 99033669-d.html.
- 99033669 identifier 99033669-t.html.
- 99033669 isPartOf "Formal approaches to computing and information technology".
- 99033669 issued "1999".
- 99033669 issued "c1999.".
- 99033669 language "eng".
- 99033669 publisher "Berlin ; New York : Springer,".
- 99033669 subject "005.13/1 21".
- 99033669 subject "Formal methods (Computer science)".
- 99033669 subject "QA76.9.F67 I53 1999".
- 99033669 title "Industrial-strength formal methods in practice / Michael G. Hinchey and Jonathan P. Bowen, (eds.).".
- 99033669 type "text".