Matches in Library of Congress for { <http://lccn.loc.gov/2012016775> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2012016775 contributor B12446486.
- 2012016775 created "[2013]".
- 2012016775 date "2013".
- 2012016775 date "[2013]".
- 2012016775 dateCopyrighted "[2013]".
- 2012016775 description "Includes bibliographical references and index.".
- 2012016775 extent "xxi, 270 pages :".
- 2012016775 identifier "9780470876183".
- 2012016775 identifier 2012016775-d.html.
- 2012016775 identifier 2012016775-b.html.
- 2012016775 identifier 2012016775-t.html.
- 2012016775 issued "2013".
- 2012016775 issued "[2013]".
- 2012016775 language "eng".
- 2012016775 publisher "[Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley,".
- 2012016775 subject "004.01/51 23".
- 2012016775 subject "COMPUTERS / Computer Engineering. bisacsh".
- 2012016775 subject "Formal methods (Computer science)".
- 2012016775 subject "QA76.9.F67 F654 2013".
- 2012016775 title "Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Instituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche. Pisa, Italy, Tiziana Margaria, University of Potsdam, Potsdam, Germany.".
- 2012016775 type "text".