Matches in Library of Congress for { <http://lccn.loc.gov/2010938033> ?p ?o. }
Showing items 1 to 41 of
41
with 100 items per page.
- 2010938033 contributor B12096226.
- 2010938033 contributor B12096227.
- 2010938033 coverage "Schanghai <2010> swd".
- 2010938033 created "2010.".
- 2010938033 date "2010".
- 2010938033 date "2010.".
- 2010938033 dateCopyrighted "2010.".
- 2010938033 description "Includes bibliographical references and index.".
- 2010938033 extent "xiv, 709 p. :".
- 2010938033 format "text/html".
- 2010938033 hasFormat "Also issued online.".
- 2010938033 identifier "3642169007 (pbk. : alk. paper)".
- 2010938033 identifier "9783642169007 (pbk. : alk. paper)".
- 2010938033 identifier 04.
- 2010938033 identifier dokserv?id=3547151&prov=M&dok_var=1&dok_ext=htm.
- 2010938033 isFormatOf "Also issued online.".
- 2010938033 isPartOf "LNCS sublibrary: SL 2-programming and software engineering".
- 2010938033 isPartOf "Lecture notes in computer science, 0302-9743 ; 6447".
- 2010938033 issued "2010".
- 2010938033 issued "2010.".
- 2010938033 language "eng".
- 2010938033 publisher "Berlin ; New York : Springer,".
- 2010938033 relation "Also issued online.".
- 2010938033 spatial "Schanghai <2010> swd".
- 2010938033 subject "005.1 22/ger".
- 2010938033 subject "Entscheidungsverfahren. swd".
- 2010938033 subject "Formal methods (Computer science) Congresses.".
- 2010938033 subject "Formale Methode. swd".
- 2010938033 subject "Leistungsbewertung. swd".
- 2010938033 subject "Model Checking. swd".
- 2010938033 subject "Programmanalyse. swd".
- 2010938033 subject "Programmtest. swd".
- 2010938033 subject "Programmverifikation. swd".
- 2010938033 subject "QA76.9.F67 I5788 2010".
- 2010938033 subject "Serviceorientierte Architektur. swd".
- 2010938033 subject "Software engineering Congresses.".
- 2010938033 subject "Softwareentwicklung. swd".
- 2010938033 subject "Web Services. swd".
- 2010938033 title "Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings / Jin Song Dong, Huibiao Zhu (eds.).".
- 2010938033 type "Kongress. swd".
- 2010938033 type "text".