Matches in Library of Congress for { <http://lccn.loc.gov/99044590> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 99044590 contributor B8668172.
- 99044590 contributor B8668173.
- 99044590 created "c1999.".
- 99044590 date "1999".
- 99044590 date "c1999.".
- 99044590 dateCopyrighted "c1999.".
- 99044590 description "Includes bibliographical references.".
- 99044590 extent "xi, 376 p. :".
- 99044590 identifier "3540664629 (softcover : alk. paper)".
- 99044590 identifier 99044590-d.html.
- 99044590 isPartOf "Lecture notes in computer science ; 1641".
- 99044590 issued "1999".
- 99044590 issued "c1999.".
- 99044590 language "eng".
- 99044590 publisher "Berlin ; New York : Springer,".
- 99044590 subject "005.13/1 21".
- 99044590 subject "Formal methods (Computer science) Congresses.".
- 99044590 subject "QA76.9.F67 I59 1998".
- 99044590 title "Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter ... [et al.] (eds.).".
- 99044590 type "text".