Research Catalog

Modular specification and verification of object-oriented programs

Title
Modular specification and verification of object-oriented programs / Peter Müller.
Author
Müller, Peter.
Publication
Berlin : Springer, 2002.

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.64 .M85 2002gOff-site

Holdings

Details

Description
xiv, 292 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 2262
Uniform Title
Lecture notes in computer science ; 2262.
Subject
Object-oriented programming (Computer science)
Thesis (note)
  • Thesis (doctoral) - Fernuniversität, Hagen, 2001.
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540431675 (pbk.)
OCLC
  • ocm49035992
  • SCSB-4249309
Owning Institutions
Columbia University Libraries