Matches in Library of Congress for { <http://lccn.loc.gov/2010936699> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- 2010936699 contributor B12095358.
- 2010936699 contributor B12095359.
- 2010936699 created "2010.".
- 2010936699 date "2010".
- 2010936699 date "2010.".
- 2010936699 dateCopyrighted "2010.".
- 2010936699 description "Includes bibliographical references and index.".
- 2010936699 extent "2 v. :".
- 2010936699 format "text/html".
- 2010936699 hasFormat "Also issued online.".
- 2010936699 identifier "3642165575 (v. 1 : pbk.)".
- 2010936699 identifier "3642165605 (v. 2 : pbk.)".
- 2010936699 identifier "9783642165573 (v. 1 : pbk.)".
- 2010936699 identifier "9783642165603 (v. 2 : pbk.)".
- 2010936699 identifier 04.
- 2010936699 identifier 04.
- 2010936699 identifier dokserv?id=3537190&prov=M&dok_var=1&dok_ext=htm.
- 2010936699 identifier dokserv?id=3537192&prov=M&dok_var=1&dok_ext=htm.
- 2010936699 isFormatOf "Also issued online.".
- 2010936699 isPartOf "LNCS sublibrary. SL 1 Theoretical computer science and general issues.".
- 2010936699 isPartOf "LNCS sublibrary: SL 1-theoretical computer science and general issues".
- 2010936699 isPartOf "Lecture notes in computer science ; 6415.".
- 2010936699 isPartOf "Lecture notes in computer science, 0302-9743 ; 6415".
- 2010936699 issued "2010".
- 2010936699 issued "2010.".
- 2010936699 language "eng".
- 2010936699 publisher "Berlin ; New York : Springer,".
- 2010936699 relation "Also issued online.".
- 2010936699 subject "Formal methods (Computer science) Congresses.".
- 2010936699 subject "QA76.9.F67 I78 2010".
- 2010936699 subject "Software engineering Congresses.".
- 2010936699 title "Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.).".
- 2010936699 type "text".