Item Details

Print View

Formal Methods and Object Technology

S.J. Goldsack and S.J.H. Kent, eds
Format
Book
Published
London ; New York : Springer, c1996.
Language
English
Series
Formal Approaches to Computing and Information Technology
ISBN
3540199772 (Berlin : acid-free paper)
Description
xviii, 368 p. : ill. ; 24 cm.
Notes
Includes bibliographical references (p. [336]-356) and index.
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01104pam a2200325 a 4500
    001 u2634187
    003 SIRSI
    005 19960619085955.5
    008 960118s1996 enka b 001 0 eng
    010
      
      
    a| 96033762
    020
      
      
    a| 3540199772 (Berlin : acid-free paper)
    035
      
      
    a| (Sirsi) l96033762
    035
      
      
    a| (OCoLC)34115593
    040
      
      
    a| DLC c| DLC d| DLC
    049
      
      
    a| VA@S b| X004047763
    050
    0
    0
    a| QA76.64 b| .F67 1996
    082
    0
    0
    a| 005.1/1 2| 20
    245
    0
    0
    a| Formal methods and object technology / c| S.J. Goldsack and S.J.H. Kent, eds.
    260
      
      
    a| London ; a| New York : b| Springer, c| c1996.
    300
      
      
    a| xviii, 368 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Formal approaches to computing and information technology
    504
      
      
    a| Includes bibliographical references (p. [336]-356) and index.
    596
      
      
    a| 5
    650
      
    0
    a| Object-oriented programming (Computer science)
    700
    1
      
    a| Goldsack, Stephen J., d| 1926-
    700
    1
      
    a| Kent, S. J. H. q| (Stuart John Harding), d| 1966-
    999
      
      
    a| QA76.64 .F67 1996 w| LC i| X004047763 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