Tools

LEADER 07513cam a22014294a 4500

001 ocm49035992;

003 OCoLC;

005 20260420152354.0;

007 cr un|||||||||;

008 021004s2002 gw a b 001 0 eng d;

010 a| 2002514608;

015 a| GBA2138532| bnb;

015 a| 02,N03,04442| dnb;

015 a| 02,A16,0841z| 02,N03,04442| dnb;

016 7 a| 9634570632| DE-101;

016 7 a| 0097288682| Uk;

019 a| 49279864a| 248837015a| 456697708a| 612286648a| 664271974a| 960152407a| 967850801a| 1012476896a| 1066526216a| 1081248421a| 1170989050a| 1171680359;

020 a| 3540431675q| (pbk.);

020 a| 9783540431671q| (pbk.);

020 a| 9783662199466;

020 a| 3662199467;

024 3 a| 9783540431671;

024 8 a| CIP02N030444;

029 1 a| AU@b| 000023377786;

029 1 a| AU@b| 000023532615;

029 1 a| NLGGCb| 237134004;

029 1 a| NZ1b| 6751942;

029 1 a| YDXCPb| 1848941;

029 1 a| ZWZb| 069171653;

029 1 a| AU@b| 000051333666;

029 1 a| AU@b| 000051698817;

029 1 a| AU@b| 000058162108;

029 1 a| CHBISb| 004272917;

029 1 a| CHDSBb| 002471361;

029 1 a| CHNEWb| 000253574;

029 1 a| CHVBKb| 033863490;

029 1 a| CHVBKb| 097792462;

029 1 a| CHVBKb| 155774743;

035 a| (Sirsi) o49035992;

042 a| lccopycat;

049 a| EREE;

050 00 a| QA76.64b| .M845 2002;

055 3 a| QA75b| .L38 no.2262;

072 7 a| QA2| lcco;

080 a| 518.24;

082 04 a| 005.12| 211| https://id.oclc.org/worldcat/ddc/E3jXFdk4KYFKwJQWKPH9rDFJPB;

084 a| SS 48002| rvk;

084 a| DAT 325f2| stub;

084 a| DAT 335f2| stub;

084 a| DAT 315f2| stub;

084 a| 54.512| bcl;

084 a| 54.522| bcl;

084 a| 54.532| bcl;

084 a| 282| ddc;

084 a| *68N192| msc;

084 a| 68-022| msc;

084 a| 68N302| msc;

084 a| 28a| 0042| sdnb;

084 a| 302| sswd;

090 a| QA76.64b| .M85 2002;

100 1 a| Müller, Peter,d| 1972-1| https://id.oclc.org/worldcat/entity/E39PCjwqg7HXxwdjydRkjcvwP3=| ^A1487905;

245 10 a| Modular specification and verification of object-oriented programs /c| Peter Müller.;

300 a| xiv, 292 pages :b| illustrations ;c| 24 cm.;

336 a| textb| txt2| rdacontent;

337 a| unmediatedb| n2| rdamedia;

338 a| volumeb| nc2| rdacarrier;

490 1 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 (pages 271-283) and index.;

530 a| Also available via the World Wide Web.;

505 0 a| 1. Introduction -- 2. Mojave and the Universe Type System -- 3. The Semantics of Mojave -- 4. Modular Specification and Verification of Functional Behavior -- 5. Modular Specification and Verification of Frame Properties -- 6. Modular Specification and Verification of Type Invariants -- 7. Conclusion -- A. Format Background and Notations -- B. Predefined Type Declarations -- D. Auxiliary Lemmas, Proofs, and Models.;

520 a| This work presents new techniques for the formal specification and verification of object-oriented software. As modularity is of importance for reuse and component-based programming, emphasis is given to the completeness of specification techniques to allow module verification.;

650 0 a| Object-oriented programming (Computer science)=| ^A227089;

650 0 a| Modular programming.=| ^A517114;

650 0 a| Computer softwarex| Development.=| ^A210127;

650 7 a| Computer softwarex| Development.2| fast0| (OCoLC)fst00872537;

650 7 a| Modular programming.2| fast0| (OCoLC)fst01024506;

650 7 a| Object-oriented programming (Computer science)2| fast0| (OCoLC)fst01042804;

650 7 a| Modulare Programmierung.2| gnd0| (DE-588)4120756-7;

650 7 a| Objektorientierte Programmierung.2| gnd0| (DE-588)4233947-9;

650 7 a| Programmverifikation.2| gnd0| (DE-588)4135576-3;

650 7 a| Softwarespezifikation.2| gnd0| (DE-588)4056186-0;

650 7 a| Typsystem.2| gnd0| (DE-588)4625224-1;

650 7 a| Objektorientierte Softwareentwicklungx| Verifikation (Informatik)2| idsbb;

650 7 a| Verifikationx| (Informatik)x| Objektorientierte Softwareentwicklung.2| idsbb;

650 7 a| Komponentensoftwarex| Softwarespezifikation.2| idsbb;

650 7 a| Softwarespezifikationx| Komponentensoftware.2| idsbb;

650 7 a| Programmation orientée objets (informatique)2| ram;

650 7 a| Logicielsx| Développement.2| ram;

650 7 a| Programmation modulaire.2| ram;

653 0 a| Computer softwarea| Development;

653 0 a| Modular programming;

653 0 a| Object-oriented programming (Computer science);

830 0 a| Lecture notes in computer science ;v| 2262.=| ^A466336;

856 41 3| SpringerLinku| https://doi.org/10.1007/3-540-45651-1;

856 41 3| Table of contentsu| http://swbplus.bsz-bw.de/bsz096856696inh.htm;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2262.htmz| Restricted to Springer LINK subscribers;

856 41 u| http://link.springer.com/10.1007/3-540-45651-1z| eBook available for UOIT via SpringerLink. Click link to access;

856 42 3| Publisher descriptionu| http://catdir.loc.gov/catdir/enhancements/fy0817/2002514608-d.html;

856 4 3| Coveru| http://swbplus.bsz-bw.de/bsz096856696cov.htm;

856 4 3| Kapitel 1u| http://swbplus.bsz-bw.de/bsz096856696kap.htm;

856 4 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=2262z| Texte intégral accessible en intranet pour l'Inria;

856 41 3| OhioLINKu| http://rave.ohiolink.edu/ebooks/ebc/3540456511;

856 41 u| http://link.springer.de/link/service/series/0558/tocs/t2262.htm;

856 41 u| https://link.springer.com/openurl?genre=book&isbn=978-3-662-19946-6;

856 41 u| http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000324944&T=marc&tab=BOOKS;

856 41 u| https://link.springer.com/10.1007/3-540-45651-1;

856 41 u| http://www.link.springer.de/link/service/series/0558/tocs/t2262.htm;

938 a| Ingram Library Servicesb| INGRn| in010955558;

938 a| Baker & Taylorb| BKTYc| 64.95d| 64.95i| 3540431675n| 0003921987s| active;

938 a| Brodartb| BRODn| 58700846c| $56.00;

938 a| Baker and Taylorb| BTCPn| 2002514608;

938 a| Otto Harrassowitzb| HARRn| har020004989;

938 a| YBP Library Servicesb| YANKn| 1848941;

994 a| C0b| ERE;

596 a| 1;

998 a| 876654;

999 a| QA76.64 .M85 2002w| LCc| 1i| 30372011567432d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $53.20r| Ys| Yt| JGESBKu| 6/5/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Modular specification and verification of object-oriented programs / Peter Müller.

Author/creator	Müller, Peter, 1972-
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2002.
Description	xiv, 292 pages : illustrations ; 24 cm.
Supplemental Content	SpringerLink
Supplemental Content	Table of contents
Supplemental Content	Restricted to Springer LINK subscribers
Supplemental Content	eBook available for UOIT via SpringerLink. Click link to access
Supplemental Content	Publisher description
Supplemental Content	Cover
Supplemental Content	Kapitel 1
Supplemental Content	Texte intégral accessible en intranet pour l'Inria
Supplemental Content	OhioLINK
Supplemental Content	http://link.springer.de/link/service/series/0558/tocs/t2262.htm
Supplemental Content	https://link.springer.com/openurl?genre=book&isbn=978-3-662-19946-6
Supplemental Content	http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000324944&T=marc&tab=BOOKS
Supplemental Content	https://link.springer.com/10.1007/3-540-45651-1
Supplemental Content	http://www.link.springer.de/link/service/series/0558/tocs/t2262.htm
Subjects	Object-oriented programming (Computer science) Modular programming. Computer software--Development.

Series	Lecture notes in computer science, 0302-9743 ; 2262 Lecture notes in computer science ; 2262. ^A466336
Contents	1. Introduction -- 2. Mojave and the Universe Type System -- 3. The Semantics of Mojave -- 4. Modular Specification and Verification of Functional Behavior -- 5. Modular Specification and Verification of Frame Properties -- 6. Modular Specification and Verification of Type Invariants -- 7. Conclusion -- A. Format Background and Notations -- B. Predefined Type Declarations -- D. Auxiliary Lemmas, Proofs, and Models.
Abstract	This work presents new techniques for the formal specification and verification of object-oriented software. As modularity is of importance for reuse and component-based programming, emphasis is given to the completeness of specification techniques to allow module verification.
General note	Based on the author's thesis (doctoral)--Fernuniversität Hagen, 2001.
Bibliography note	Includes bibliographical references (pages 271-283) and index.
Other forms	Also available via the World Wide Web.
Issued in other form	Print version: Müller, Peter, 1972- Modular specification and verification of object-oriented programs. Berlin ; New York : Springer, ©2002 3540431675
LCCN	2002514608
ISBN	3540431675 (pbk.)
ISBN	9783540431671 (pbk.)
ISBN	9783662199466
ISBN	3662199467
Standard identifier#	9783540431671
Standard identifier#	CIP02N030444

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.64 .M85 2002	✔ Available	Place Hold

Modular specification and verification of object-oriented programs / Peter Müller.

Click here for more information about this title

Availability