- Location
-
München, Bibliothek der Technischen Universität -- 0102/DAT 001z 2001 A 999-3603#S.1-16
- Extent
-
1 Online-Ressource (S. [1] - 16)
- Language
-
Englisch
- Notes
-
In: Theorem proving in higher order logics. - Berlin [u.a.] : Springer, 2005
- Event
-
Veröffentlichung
- (where)
-
Berlin [u.a.]
- (who)
-
Springer
- (when)
-
2005
- Contributor
- URN
-
urn:nbn:de:bvb:12-bsb00057187-9
- Last update
-
27.11.2025, 8:50 AM CET
Data provider
This object is provided by:
Bayerische Staatsbibliothek. If you have any questions about the object, please contact the data provider.
Bayerische Staatsbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Text
Associated
- Gargano, Mauro (Sonstige)
- Paul, Wolfgang J. (Sonstige)
- Springer
Time of origin
- 2005
Other Objects (12)
Correctness of multi-core processors with operating system support
Stepwise refinement of distributed systems : models, formalisms, correctness ; proceedings
Catalogue of distributed file, operating systems
Operating systems : an advanced course
Regenerative inventory systems : operating characteristics and optimization
Classic operating systems : from batch processing to distributed systems
Formal correctness of security protocols : with 4 tables
Towards Static Analysis of Interrupt Blocking Time in Operating System Kernels
Proving the correctness of algebraic implementations by the ISAR system
The correctness-by-construction approach to programming
Modal Kleene Algebra and partial correctness
Heat kernels and Dirac operators
Correctness of multi-core processors with operating system support
Stepwise refinement of distributed systems : models, formalisms, correctness ; proceedings
Catalogue of distributed file, operating systems
Operating systems : an advanced course
Regenerative inventory systems : operating characteristics and optimization
Classic operating systems : from batch processing to distributed systems
Formal correctness of security protocols : with 4 tables
Towards Static Analysis of Interrupt Blocking Time in Operating System Kernels
Proving the correctness of algebraic implementations by the ISAR system
The correctness-by-construction approach to programming
Modal Kleene Algebra and partial correctness
Heat kernels and Dirac operators
Correctness of multi-core processors with operating system support
Stepwise refinement of distributed systems : models, formalisms, correctness ; proceedings
Catalogue of distributed file, operating systems
Operating systems : an advanced course
Regenerative inventory systems : operating characteristics and optimization
Classic operating systems : from batch processing to distributed systems
Formal correctness of security protocols : with 4 tables
Towards Static Analysis of Interrupt Blocking Time in Operating System Kernels
Proving the correctness of algebraic implementations by the ISAR system
The correctness-by-construction approach to programming
Modal Kleene Algebra and partial correctness