Item Details

Print View

Fmics '05 [electronic resource]: Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, Co-Located With ESEC/FSE'05

editors, Tiziana Margaria & Mieke Massink ; sponsored by ACM SIGSOFT
Format
EBook; Book; Online
Published
New York : Association for Computing Machinery, c2005.
Language
English
Variant Title
Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Related Title
Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.
ISBN
1595931481
Description
Mode of access: World wide Web.
Notes
  • "ACM Order Number 592055"--P. ii.
  • Includes bibliographic references and author index.
Copyright Not EvaluatedCopyright Not Evaluated
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01869nam a22004097a 4500
    001 u5860095
    003 SIRSI
    005 20121213122404.0
    006 m d
    007 cr n
    008 060405s2005 nyua sb 101 0 eng d
    010
      
      
    a| 2006296088
    020
      
      
    a| 1595931481
    035
      
      
    a| (WaSeSS)ssj0000752954
    040
      
      
    a| VYR c| VYR d| C$A d| DLC d| WaSeSS
    042
      
      
    a| lccopycat
    050
    0
    0
    a| QA76.9.F67 b| I594 2005
    082
    0
    0
    a| 005.13/1 2| 22
    111
    2
      
    a| International Workshop on Formal Methods for Industrial Critical Systems n| (10th : d| 2005 : c| Lisbon, Portugal)
    245
    1
    0
    a| FMICS '05 h| [electronic resource] : b| proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 / c| editors, Tiziana Margaria & Mieke Massink ; sponsored by ACM SIGSOFT.
    246
    3
    0
    a| Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
    246
    3
    0
    a| Formal Methods for Industrial Critical Systems
    260
      
      
    a| New York : b| Association for Computing Machinery, c| c2005.
    500
      
      
    a| "ACM Order Number 592055"--P. ii.
    504
      
      
    a| Includes bibliographic references and author index.
    538
      
      
    a| Mode of access: World wide Web.
    650
      
    0
    a| Formal methods (Computer science) v| Congresses.
    655
      
    0
    a| Electronic books.
    700
    1
      
    a| Margaria-Steffen, Tiziana, d| 1964-
    700
    1
      
    a| Massink, Mieke.
    710
    2
      
    a| ACM Sigsoft.
    710
    2
      
    a| ACM Digital Library
    711
    2
      
    a| ESEC/FSE (Conference)
    740
    0
      
    a| Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.
    856
    4
    0
    u| http://RE5QY4SB7X.search.serialssolutions.com/?V=1.0&L=RE5QY4SB7X&S=JCs&C=TC0000752954&T=marc
    596
      
      
    a| 1
    999
      
      
    a| XX(5860095.1) w| WEB i| 5860095-1001 l| INTERNET m| UVA-LIB t| INTERNET
▾See more
▴See less

Availability

Google Preview

Google Books Preview

Read Online