Item Details

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : Revised Lectures

Frank S. de Boer ... [et al.] (eds.)
Format
Book
Published
Berlin ; New York : Springer-Verlag, c2003.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540203036 (alk. paper)
Description
viii, 507 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 2852
Technical Details
  • Access in Virgo Classic

  • LEADER 01334pam a22003614a 4500
    001 u4001070
    003 SIRSI
    005 20031222140622.0
    008 030930s2003 gw a b 101 0 eng
    010
      
      
    a| 2003066671
    020
      
      
    a| 3540203036 (alk. paper)
    035
      
      
    a| (Sirsi) i3540203036
    035
      
      
    a| (OCoLC)53183415
    040
      
      
    a| DLC c| DLC d| NhCcYBP
    042
      
      
    a| pcc
    049
      
      
    a| VA@S
    050
    0
    0
    a| QA76.9.F67 b| F53 2002
    082
    0
    0
    a| 005.3 2| 22
    090
      
      
    a| SCIENG/QA76.9.F67 b| F53 2002
    111
    2
      
    a| FMCO (Symposium) n| (1st : d| 2002 : c| Leiden, Netherlands)
    245
    1
    0
    a| Formal methods for components and objects : b| first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / c| Frank S. de Boer ... [et al.] (eds.)
    260
      
      
    a| Berlin ; a| New York : b| Springer-Verlag, c| c2003.
    300
      
      
    a| viii, 507 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science v| 2852
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 5
    650
      
    0
    a| Formal methods (Computer science) v| Congresses.
    650
      
    0
    a| Component software v| Congresses.
    650
      
    0
    a| Object-oriented programming (Computer science) v| Congresses.
    700
    1
      
    a| Boer, Frank S. de.
    999
      
      
    a| QA76.9 .F67 F53 2002 w| LC i| X004742157 l| STACKS m| SCI-ENG t| BOOK

Availability

Google Preview

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