- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783110500639
3110500639
- Dimensions
-
25 cm
- Extent
-
xiii, 516 Seiten
- Language
-
Englisch
- Notes
-
16 Illustrationen
- Bibliographic citation
-
De Gruyter studies in mathematics ; Volume 65
- Keyword
-
Intervallalgebra
Richtigkeit von Ergebnissen
- Event
-
Veröffentlichung
- (where)
-
Berlin, Boston
- (who)
-
De Gruyter
- (when)
-
[2017]
- Creator
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:50 AM CET
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
- Mayer, Günter
- Walter de Gruyter GmbH & Co. KG
- De Gruyter
Time of origin
- [2017]
Other Objects (12)
Automatic signature verification using segmentation
Automatic complexity : a computable measure of irregularity
Acceleration of digital transformation as a result of launching programs financed from public funds: Assessment of the implementation of the operational program digital Poland
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Automatic verification of sequential infinite state processes
Automatic Data Dependence Analysis by Deductive Verification
Iterative solution of linear systems with improved arithmetic and result verification
Iterative solution of linear systems with improved arithmetic and result verification
Automatic Synthesis and Verification of Industrial Commissioning Processes
Uses of Methods with Result Verification in the Context of MIMO Systems
Automatic signature verification using segmentation
Automatic complexity : a computable measure of irregularity
Acceleration of digital transformation as a result of launching programs financed from public funds: Assessment of the implementation of the operational program digital Poland
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Automatic verification of sequential infinite state processes
Automatic Data Dependence Analysis by Deductive Verification
Iterative solution of linear systems with improved arithmetic and result verification
Iterative solution of linear systems with improved arithmetic and result verification
Automatic Synthesis and Verification of Industrial Commissioning Processes
Uses of Methods with Result Verification in the Context of MIMO Systems
Automatic signature verification using segmentation
Automatic complexity : a computable measure of irregularity
Acceleration of digital transformation as a result of launching programs financed from public funds: Assessment of the implementation of the operational program digital Poland
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Automatic verification of sequential infinite state processes
Automatic Data Dependence Analysis by Deductive Verification
Iterative solution of linear systems with improved arithmetic and result verification
Iterative solution of linear systems with improved arithmetic and result verification
Automatic Synthesis and Verification of Industrial Commissioning Processes