|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
4604316 |
| 003 |
ICU |
| 005 |
20031021120800.0 |
| 008 |
020215s2002 gw a b 001 0 eng d |
| 015 |
|
|
|a GBA2-13853
|
| 016 |
7 |
|
|a 963457063
|2 GyFmDB
|
| 020 |
|
|
|a 3540431675 (pbk.)
|
| 035 |
|
|
|a (OCoLC)49035992
|
| 040 |
|
|
|a OHX
|b ger
|c OHX
|d UKM
|d CUI
|d OCoLC
|d OrLoB-B
|
| 049 |
|
|
|a CGUA
|
| 072 |
|
7 |
|a QA
|2 lcco
|
| 082 |
0 |
4 |
|a 005.1
|2 21
|
| 090 |
|
|
|a QA76.64
|b .M85 2002
|
| 100 |
1 |
|
|a Müller, Peter.
|0 http://id.loc.gov/authorities/names/n80016198
|1 http://viaf.org/viaf/39685128
|
| 245 |
1 |
0 |
|a Modular specification and verification of object-oriented programs /
|c Peter Müller.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c2002.
|
| 300 |
|
|
|a xiv, 292 p. :
|b ill. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 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.
|
| 505 |
0 |
0 |
|g 1.
|t Introduction --
|g 2.
|t Mojave and the Universe Type System --
|g 3.
|t The Semantics of Mojave --
|g 4.
|t Modular Specification and Verification of Functional Behavior --
|g 5.
|t Modular Specification and Verification of Frame Properties --
|g 6.
|t Modular Specification and Verification of Type Invariants --
|g 7.
|t Conclusion --
|g A.
|t Format Background and Notations --
|g B.
|t Predefined Type Declarations --
|g D.
|t Auxiliary Lemmas, Proofs, and Models.
|
| 530 |
|
|
|a Also available via the World Wide Web.
|
| 650 |
|
0 |
|a Object-oriented programming (Computer science)
|0 http://id.loc.gov/authorities/subjects/sh87007503
|
| 650 |
|
0 |
|a Modular programming.
|0 http://id.loc.gov/authorities/subjects/sh85086464
|
| 650 |
|
0 |
|a Computer software
|x Development.
|0 http://id.loc.gov/authorities/subjects/sh85029535
|
| 650 |
|
7 |
|a Computer software
|x Development.
|2 fast
|0 http://id.worldcat.org/fast/fst00872537
|
| 650 |
|
7 |
|a Modular programming.
|2 fast
|0 http://id.worldcat.org/fast/fst01024506
|
| 650 |
|
7 |
|a Object-oriented programming (Computer science)
|2 fast
|0 http://id.worldcat.org/fast/fst01042804
|
| 856 |
4 |
1 |
|u http://link.springer-ny.com/link/service/series/0558/tocs/t2262.htm
|z Restricted to Springer LINK subscribers
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 2cc33a28-995b-5598-b7ce-beb1927875b5
|s afc92819-69af-50b4-9e6d-fcf1aa332490
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.64.M85 2002
|l ASR
|c ASR-SciASR
|i 4306276
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.64.M85 2002
|l Online
|c UC-FullText
|n Restricted to Springer LINK subscribers
|u http://link.springer-ny.com/link/service/series/0558/tocs/t2262.htm
|g ebooks
|i 7654822
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.64.M85 2002
|l ASR
|c ASR-SciASR
|e CRERAR
|b 60142649
|i 7215169
|
