Research Catalog

Verification of object-oriented software : the KeY approach

Title
Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino.
Publication
Berlin ; New York : Springer, [2007], ©2007.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.76.V47 V474 2007Off-site

Holdings

Details

Additional Authors
  • Beckert, Bernhard.
  • Hähnle, Reiner.
  • Schmitt, P. H. (Peter H.), 1948-
Description
xxix, 658 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 4334. Lecture notes in artificial intelligence. AI systems
Uniform Title
  • Lecture notes in computer science ; 4334.
  • Lecture notes in computer science. Lecture notes in artificial intelligence.
  • Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems.
Alternative Title
KeY approach
Subject
  • Computer software > Verification
  • Object-oriented methods (Computer science)
  • Java (Computer program language)
  • Objektorientierte Programmierung
  • Softwarespezifikation
  • Programmverifikation
  • Korrektheit
  • Beweis
  • Softwareentwicklung
  • Objektorientierung
  • Programmierlogik
  • Formale Methode
Bibliography (note)
  • Includes bibliographical references (p. [627]-643) and index.
Additional Formats (note)
  • Also issued online.
ISBN
  • 9783540689775 (soft cover ; alk. paper)
  • 354068977X (soft cover : alk. paper)
LCCN
2006939067
OCLC
  • 78203745
  • ocm78203745
  • SCSB-5307288
Owning Institutions
Columbia University Libraries