- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540431671
3540431675
- Dimensions
-
24 cm
- Extent
-
XIV, 292 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 271 - 283
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2262
- Keyword
-
Objektorientierte Programmierung
Softwarespezifikation
Programmverifikation
Modulare Programmierung
Typsystem
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2002
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:37 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Müller, Peter
- Springer
Time of origin
- 2002
Other Objects (12)
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Specification of modular systems
Verification of pointer programs
Three-valued specification language and its application to the automatic verification of C programs
Abstract specification of object interaction
Modular specification of process algebras
Modular language specification and composition
Verification of business rules programs
Verification of Java card programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Specification of modular systems
Verification of pointer programs
Three-valued specification language and its application to the automatic verification of C programs
Abstract specification of object interaction
Modular specification of process algebras
Modular language specification and composition
Verification of business rules programs
Verification of Java card programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Specification of modular systems
Verification of pointer programs
Three-valued specification language and its application to the automatic verification of C programs
Abstract specification of object interaction
Modular specification of process algebras
Modular language specification and composition
Verification of business rules programs