Research Catalog

Modeling and verification of real-time systems : formalisms and software tools

Title
Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet.
Publication
London : ISTE ; Hoboken, NJ : John Wiley, 2008.
Supplementary Content
  • Contributor biographical information
  • Publisher description

Items in the Library & Off-site

Filter by

2 Items

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.54 .M635 2008Off-site
Not available - Please for assistance.
TextUse in library Off-site

Holdings

Details

Additional Authors
  • Navet, Nicolas.
  • Merz, Stephan.
Description
393 pages : illustrations; 25 cm
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 9781848210134
  • 1848210132
LCCN
2007045063
OCLC
  • ocn180190932
  • 180190932
  • SCSB-5411492
Owning Institutions
Columbia University Libraries