Matches in Library of Congress for { <http://lccn.loc.gov/2010046372> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 2010046372 contributor B11792269.
- 2010046372 created "c2011.".
- 2010046372 date "2011".
- 2010046372 date "c2011.".
- 2010046372 dateCopyrighted "c2011.".
- 2010046372 description "Includes bibliographical references (p. [321]-347) and index.".
- 2010046372 extent "vii, 353 p. :".
- 2010046372 identifier "9780470027882 (cloth)".
- 2010046372 issued "2011".
- 2010046372 issued "c2011.".
- 2010046372 language "eng".
- 2010046372 publisher "Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley,".
- 2010046372 subject "511.3 22".
- 2010046372 subject "Logic, Symbolic and mathematical.".
- 2010046372 subject "QA267.5.T45 F57 2011".
- 2010046372 subject "Temporal automata.".
- 2010046372 title "An introduction to practical formal methods using temporal logic / Michael Fisher.".
- 2010046372 type "text".