HOME > Detail View

Detail View

Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs

Material type
단행본
Personal Author
Muller, Peter, 1972-.
Title Statement
Modular specification and verification of object-oriented programs / Peter Muller.
Publication, Distribution, etc
Berlin ;   New York :   Springer,   c2002.  
Physical Medium
xiv, 292 p. : ill. ; 24 cm.
Series Statement
Lecture notes in computer science,0302-9743 ; 2262
ISBN
3540431675 (pbk.)
General Note
Based on the author's thesis (doctoral)--Fernuniversit?t Hagen, 2001.  
Bibliography, Etc. Note
Includes bibliographical references (p. [271]-283) and index.
이용가능한 다른형태자료
Also available via the World Wide Web.  
Subject Added Entry-Topical Term
Object-oriented programming (Computer science) Modular programming. Computer software -- Development.
Short cut
URL Restricted to Springer LINK subscribers  
000 01349namuu22003374a 4500
001 000045128331
005 20041110111255
008 041110s2002 gw a b 001 0 eng d
010 ▼a 2002514608
015 ▼a GBA2-13853
020 ▼a 3540431675 (pbk.)
035 ▼a (OCoLC)ocm49035992
040 ▼a OHX ▼b eng ▼c OHX ▼d UKM ▼d CUI ▼d C$Q ▼d DLC ▼d 244002
042 ▼a pcc ▼a lccopycat
050 0 0 ▼a QA76.64 ▼b .M845 2002
072 7 ▼a QA ▼2 lcco
082 0 4 ▼a 005.1 ▼2 21
090 ▼a 005.1 ▼b M685m
100 1 ▼a Muller, Peter, ▼d 1972-.
245 1 0 ▼a Modular specification and verification of object-oriented programs / ▼c Peter Muller.
260 ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c2002.
300 ▼a xiv, 292 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a Lecture notes in computer science, ▼x 0302-9743 ; ▼v 2262
500 ▼a Based on the author's thesis (doctoral)--Fernuniversit?t Hagen, 2001.
504 ▼a Includes bibliographical references (p. [271]-283) and index.
530 ▼a Also available via the World Wide Web.
650 0 ▼a Object-oriented programming (Computer science)
650 0 ▼a Modular programming.
650 0 ▼a Computer software ▼x Development.
856 4 1 ▼u http://link.springer-ny.com/link/service/series/0558/tocs/t2262.htm ▼z Restricted to Springer LINK subscribers

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 005.1 M685m Accession No. 151163542 Availability Available Due Date Make a Reservation Service C

Contents information

Table of Contents

Mojave and the Universe Type System.- The Semantics of Mojave.- Modular Specification and Verification of Functional Behavior.- Modular Specification and Verification of Frame Properties.- Modular Specification and Verification of Type Invariants.- Conclusion.- Formal Background and Notations.- Predefined Type Declarations.- Examples.- Auxiliary Lemmas, Proofs, and Models.


Information Provided By: : Aladin

New Arrivals Books in Related Fields