Matches in Library of Congress for { <http://lccn.loc.gov/2009934104> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2009934104 alternative "Software Engineering and Formal Methods".
- 2009934104 contributor B11729689.
- 2009934104 contributor B11729690.
- 2009934104 contributor B11729691.
- 2009934104 created "c2009.".
- 2009934104 date "2009".
- 2009934104 date "c2009.".
- 2009934104 dateCopyrighted "c2009.".
- 2009934104 description "Includes bibliographical references and index.".
- 2009934104 extent "xi, 326 p. :".
- 2009934104 identifier "0769538703 (pbk.)".
- 2009934104 identifier "9780769538709 (pbk.)".
- 2009934104 issued "2009".
- 2009934104 issued "c2009.".
- 2009934104 language "eng".
- 2009934104 publisher "Los Alamitos, Calif. : IEEE Computer Society,".
- 2009934104 subject "005.1 23".
- 2009934104 subject "Formal methods (Computer science) Congresses.".
- 2009934104 subject "QA76.758 .I3223 2009".
- 2009934104 subject "Software engineering Congresses.".
- 2009934104 title "SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam / editors, Dang Van Hung, Padmanabhan Krishnan ; sponsored by IEEE Computer Society ; supported by UNU-IIST, Macao, China, The Vietnam National University, Japan Advanced Institute of Science and Technology (JAIST).".
- 2009934104 title "Software Engineering and Formal Methods".
- 2009934104 type "text".