Matches in Library of Congress for { <http://lccn.loc.gov/2009926478> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2009926478 contributor B11724553.
- 2009926478 created "c2009.".
- 2009926478 date "2009".
- 2009926478 date "c2009.".
- 2009926478 dateCopyrighted "c2009.".
- 2009926478 description "Includes bibliographical references and index.".
- 2009926478 extent "xv, 202 p. :".
- 2009926478 identifier "1441902236 (cased)".
- 2009926478 identifier "1441902244 (ebk.)".
- 2009926478 identifier "9781441902238 (cased)".
- 2009926478 identifier "9781441902245 (ebk.)".
- 2009926478 issued "2009".
- 2009926478 issued "c2009.".
- 2009926478 language "eng".
- 2009926478 publisher "New York : Springer,".
- 2009926478 subject "004.259 22".
- 2009926478 subject "Computer systems Verification.".
- 2009926478 subject "Digital control systems.".
- 2009926478 subject "Hybrid systems.".
- 2009926478 subject "QA76.38 .T33 2009".
- 2009926478 title "Verification and control of hybrid systems : a symbolic approach / Paulo Tabuada ; foreword by Rajeev Alur.".
- 2009926478 type "text".