Item Details

Print View

Automatic Verification of Sequential Infinite-State Processes

Olaf Burkart
Format
Book
Published
Berlin ; New York : Springer, c1997.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540601171 (softcover : alk. paper), 3540639829
Description
x, 163 p. : ill. ; 24 cm.
Notes
Includes bibliographical references (p. [155]-159) and index.
Series Statement
Lecture notes in computer science 0302-9743 ; 1354
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01085pam a2200337 a 4500
    001 u2805524
    003 SIRSI
    005 19980331141851.9
    008 971209s1997 gw a b 001 0 eng
    010
      
      
    a| 97051978
    020
      
      
    a| 3540601171 (softcover : alk. paper)
    020
      
      
    a| 3540639829
    035
      
      
    a| (Sirsi) i3540601171
    035
      
      
    a| (OCoLC)38090995
    040
      
      
    a| DLC c| DLC d| DLC
    049
      
      
    a| VA@S
    050
    0
    0
    a| QA76.76.V47 b| B87 1997
    082
    0
    0
    a| 005.1/4 2| 21
    090
      
      
    a| SCIENG/QA76.76.V47 b| B87 1997
    100
    1
      
    a| Burkart, Olaf.
    245
    1
    0
    a| Automatic verification of sequential infinite-state processes / c| Olaf Burkart.
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c1997.
    300
      
      
    a| x, 163 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science x| 0302-9743 ; v| 1354
    504
      
      
    a| Includes bibliographical references (p. [155]-159) and index.
    596
      
      
    a| 5
    650
      
    0
    a| Computer software x| Verification.
    650
      
    0
    a| Software engineering.
    999
      
      
    a| QA76.76 .V47 B87 1997 w| LC i| X004141478 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