Item Details

Interactive Systems: Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : Revised Papers

Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)
Format
Book
Published
Berlin ; New York : Springer, c2003.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540201599 (alk. paper)
Description
xiii, 427 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 2844
Technical Details
  • Access in Virgo Classic

  • LEADER 01400pam a22003854a 4500
    001 u4001077
    003 SIRSI
    005 20031222140300.0
    008 031003s2003 gw a b 101 0 eng
    010
      
      
    a| 2003062022
    020
      
      
    a| 3540201599 (alk. paper)
    035
      
      
    a| (Sirsi) i9783540201595
    035
      
      
    a| (Sirsi) i3540201599
    035
      
      
    a| (OCoLC)53183684
    040
      
      
    a| DLC c| DLC d| NhCcYBP
    042
      
      
    a| pcc
    049
      
      
    a| VA@S
    050
    0
    0
    a| QA76.9.I58 b| D78 2003
    082
    0
    0
    a| 004/.33 2| 22
    090
      
      
    a| SCIENG/QA76.9.I58 b| D78 2003
    111
    2
      
    a| DSV-IS 2003 d| (2003 : c| Funchal, Madeira Islands)
    245
    1
    0
    a| Interactive systems : b| design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers / c| Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.).
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c2003.
    300
      
      
    a| xiii, 427 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science v| 2844
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 5
    650
      
    0
    a| Interactive computer systems v| Congresses.
    700
    1
      
    a| Jorge, J. A. q| (Joaquim Armando)
    700
    1
      
    a| Jardim Nunes, Nuno.
    700
    1
      
    a| Falcão e Cunha, João.
    999
      
      
    a| QA76.9 .I58 D78 2003 w| LC i| X004742142 l| STACKS m| SCI-ENG t| BOOK

Availability

Google Preview

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