Item Details

Print View

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Patrice Godefroid
Format
Book
Published
Berlin ; New York : Springer, c1996.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540607617 (Berlin : softcover : acid-free paper)
Description
142 p. : ill. ; 24 cm.
Notes
Includes bibliographical references (p. [133]-142) and index.
Series Statement
Lecture notes in computer science 1032
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01068cam a2200301 a 4500
    001 u2533084
    003 SIRSI
    008 951211s1996 gw a b 001 0 eng
    010
      
      
    a| 95051354
    020
      
      
    a| 3540607617 (Berlin : softcover : acid-free paper)
    035
      
      
    a| (Sirsi) o33947067
    035
      
      
    a| (OCoLC)33947067
    040
      
      
    a| DLC c| DLC
    049
      
      
    a| VA@@
    050
    0
    0
    a| QA76.58 b| .G63 1996
    082
    0
    0
    a| 005.2 2| 20
    100
    1
      
    a| Godefroid, Patrice.
    245
    1
    0
    a| Partial-order methods for the verification of concurrent systems : b| an approach to the state-explosion problem / c| Patrice Godefroid.
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c1996.
    300
      
      
    a| 142 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science v| 1032
    504
      
      
    a| Includes bibliographical references (p. [133]-142) and index.
    596
      
      
    a| 5
    650
      
    0
    a| Parallel processing (Electronic computers)
    650
      
    0
    a| Computer software x| Verification.
    999
      
      
    a| QA76.58 .G63 1996 w| LC i| X002011216 l| STACKS m| SCI-ENG t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Brown Science and Engineering Stacks N/A Available