Item Details

Print View

KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report

Manfred Broy, Stefan Jähnichen, (eds.)
Format
Book
Published
Berlin ; New York : Springer, c1995.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540605894 (softcover : alk. paper)
Description
x, 449 p. : ill. ; 24 cm.
Notes
Includes bibliographical references.
Series Statement
Lecture notes in computer science 1009
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01097cam a2200325 a 4500
    001 u2533109
    003 SIRSI
    008 951012s1995 gw a b 000 0 eng
    010
      
      
    a| 95045669
    020
      
      
    a| 3540605894 (softcover : alk. paper)
    035
      
      
    a| (Sirsi) o33333593
    035
      
      
    a| (Sirsi) o33333593
    035
      
      
    a| (OCoLC)33333593
    040
      
      
    a| DLC c| DLC
    049
      
      
    a| VA@@
    050
    0
    0
    a| QA76.76.D47 b| K67 1995
    082
    0
    0
    a| 005.1 2| 20
    245
    0
    0
    a| KORSO : b| methods, languages, and tools for the construction of correct software : final report / c| Manfred Broy, Stefan Jähnichen, (eds.).
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c1995.
    300
      
      
    a| x, 449 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science v| 1009
    504
      
      
    a| Includes bibliographical references.
    596
      
      
    a| 14
    650
      
    0
    a| Computer software x| Development.
    700
    1
      
    a| Broy, M., d| 1949-
    700
    1
      
    a| Jähnichen, Stefan.
    999
      
      
    a| QA76.76 .D47 K67 1995 w| LC i| X002011174 l| BY-REQUEST m| IVY t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Ivy Stacks N/A Available