Matches in Library of Congress for { <http://lccn.loc.gov/2001049290> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2001049290 contributor B8954707.
- 2001049290 contributor B8954708.
- 2001049290 created "c2001.".
- 2001049290 date "2001".
- 2001049290 date "c2001.".
- 2001049290 dateCopyrighted "c2001.".
- 2001049290 description "Includes bibliographical references and index.".
- 2001049290 extent "vi, 429 p. :".
- 2001049290 identifier "3540424792 (pbk. : alk. paper)".
- 2001049290 identifier 2001049290-d.html.
- 2001049290 isPartOf "Lecture notes in computer science, 0302-9743 ; 2090".
- 2001049290 issued "2001".
- 2001049290 issued "c2001.".
- 2001049290 language "eng".
- 2001049290 publisher "Berlin ; New York : Springer,".
- 2001049290 subject "004/.01/51 21".
- 2001049290 subject "Formal methods (Computer science) Congresses.".
- 2001049290 subject "QA76.9.F67 E34 2000".
- 2001049290 title "Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.).".
- 2001049290 type "text".