Matches in Library of Congress for { <http://lccn.loc.gov/2007033487> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2007033487 contributor B10789083.
- 2007033487 contributor B10789084.
- 2007033487 created "c2008.".
- 2007033487 date "2008".
- 2007033487 date "c2008.".
- 2007033487 dateCopyrighted "c2008.".
- 2007033487 description "Includes bibliographical references and index.".
- 2007033487 extent "xv, 231 p. :".
- 2007033487 identifier "0471704490 (cloth)".
- 2007033487 identifier "9780471704492 (cloth)".
- 2007033487 identifier 2007033487-d.html.
- 2007033487 identifier 2007033487-b.html.
- 2007033487 identifier 2007033487-t.html.
- 2007033487 isPartOf "Wiley series on parallel and distributed computing".
- 2007033487 issued "2008".
- 2007033487 issued "c2008.".
- 2007033487 language "eng".
- 2007033487 publisher "Hoboken, N.J. : Wiley-Interscience,".
- 2007033487 subject "621.3815/48 22".
- 2007033487 subject "Computer software Verification.".
- 2007033487 subject "Integrated circuits Verification.".
- 2007033487 subject "LOTOS (Computer program language)".
- 2007033487 subject "Petri nets.".
- 2007033487 subject "TK7874.58 .Y64 2008".
- 2007033487 title "Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol.".
- 2007033487 type "text".