Matches in Library of Congress for { <http://lccn.loc.gov/2008927604> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2008927604 alternative "SFM 2008".
- 2008927604 contributor B11381477.
- 2008927604 contributor B11381478.
- 2008927604 created "2008.".
- 2008927604 date "2008".
- 2008927604 date "2008.".
- 2008927604 dateCopyrighted "2008.".
- 2008927604 description "Includes bibliographical references and index.".
- 2008927604 extent "x, 523 p. :".
- 2008927604 hasFormat "Also issued online.".
- 2008927604 identifier "3540688927 (pbk.)".
- 2008927604 identifier "9783540688921 (pbk.)".
- 2008927604 identifier 2008927604.html.
- 2008927604 identifier openurl.asp?genre=issue&issn=0302-9743&volume=5016.
- 2008927604 isFormatOf "Also issued online.".
- 2008927604 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering".
- 2008927604 isPartOf "Lecture notes in computer science, 0302-9743 ; 5016".
- 2008927604 isPartOf "Lecture notes in computer science. Tutorial.".
- 2008927604 isPartOf "Tutorial".
- 2008927604 issued "2008".
- 2008927604 issued "2008.".
- 2008927604 language "eng".
- 2008927604 publisher "Berlin ; New York : Springer,".
- 2008927604 relation "Also issued online.".
- 2008927604 subject "Formal methods (Computer science) Congresses.".
- 2008927604 subject "Integrated circuits Verification Congresses.".
- 2008927604 subject "QA76.9.F67 I586 2008".
- 2008927604 title "Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.).".
- 2008927604 title "SFM 2008".
- 2008927604 type "text".