Cite this
Email this
Export Record
Save to List
Order a print copy

Modular specification and verification of object-oriented programs

Saved in:
Bibliographic Details
Main Author: Müller, Peter (Author)
Format: Book
Language:English
Published: Berlin : Springer, 2002
Series:Lecture notes in computer science ; v. 2262
ISBN:3-540-43167-5
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
Status Sublibrary Description Location LCC Call number Old Call number