Matches in Library of Congress for { <http://lccn.loc.gov/99015827> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 99015827 contributor B8635536.
- 99015827 contributor B8635537.
- 99015827 created "c1999.".
- 99015827 date "1999".
- 99015827 date "c1999.".
- 99015827 dateCopyrighted "c1999.".
- 99015827 description "Includes bibliographical references.".
- 99015827 extent "x, 353 p. :".
- 99015827 identifier "3540660100 (alk. paper)".
- 99015827 identifier 99015827-d.html.
- 99015827 isPartOf "Lecture notes in computer science ; 1601".
- 99015827 issued "1999".
- 99015827 issued "c1999.".
- 99015827 language "eng".
- 99015827 publisher "New York : Springer,".
- 99015827 subject "Formal methods (Computer science) Congresses.".
- 99015827 subject "QA76.9.F67 I577 1999".
- 99015827 subject "Real-time data processing Congresses.".
- 99015827 title "Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.).".
- 99015827 type "text".