Matches in Library of Congress for { <http://lccn.loc.gov/2012946266> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2012946266 alternative "SBMF 2012.".
- 2012946266 contributor B12703609.
- 2012946266 contributor B12703610.
- 2012946266 created "c2012.".
- 2012946266 date "2012".
- 2012946266 date "c2012.".
- 2012946266 dateCopyrighted "c2012.".
- 2012946266 description "Includes bibliographical references and author index.".
- 2012946266 extent "x, 225 p. :".
- 2012946266 identifier "3642332951 (pbk. : alk. paper)".
- 2012946266 identifier "9783642332951 (pbk. : alk. paper)".
- 2012946266 isPartOf "Lecture notes in computer science ; 7498.".
- 2012946266 issued "2012".
- 2012946266 issued "c2012.".
- 2012946266 language "eng".
- 2012946266 publisher "Berlin ; New York : Springer,".
- 2012946266 subject "004.01/51 23".
- 2012946266 subject "Formal methods (Computer science) Congresses.".
- 2012946266 subject "QA76.9.F67 B73 2012".
- 2012946266 title "Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings / Rohit Gheyi, David Naumann (eds.).".
- 2012946266 title "SBMF 2012.".
- 2012946266 type "text".