Matches in Library of Congress for { <http://lccn.loc.gov/90009439> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 90009439 contributor B6097618.
- 90009439 created "c1990.".
- 90009439 date "1990".
- 90009439 date "c1990.".
- 90009439 dateCopyrighted "c1990.".
- 90009439 description "Includes bibliographical references.".
- 90009439 extent "vii, 382 p. :".
- 90009439 identifier "0387521488 (U.S. : alk. paper)".
- 90009439 isPartOf "Lecture notes in computer science ; 407".
- 90009439 issued "1990".
- 90009439 issued "c1990.".
- 90009439 language "eng".
- 90009439 publisher "Berlin ; New York : Springer-Verlag,".
- 90009439 subject "004.6/2 20".
- 90009439 subject "Computer network protocols Congresses.".
- 90009439 subject "TK5105.5 .A97 1990".
- 90009439 title "Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (Ed.).".
- 90009439 type "text".