- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783519021018
3519021013
9780471903239
047190323X
- Dimensions
-
24 cm
- Extent
-
IX, 230 S.
- Language
-
Englisch
- Notes
-
Literaturverz. S. 222 - 226
- Keyword
-
Verifikation
Verifikation (Datenverarbeitung)
Programm (Datenverarbeitung)
Statistischer Test
Programm
- Event
-
Veröffentlichung
- (where)
-
Stuttgart, Chichester, New York, Brisbane, Toronto, Singapore
- (who)
-
Teubner, Wiley
- (when)
-
1984
- 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:45 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
- Loeckx, Jacques
- Sieber, Kurt
- Teubner, Wiley
Time of origin
- 1984
Other Objects (12)
The foundations of program verification
Digital processing of signals : theory and practice
Fundamentals of the average case analysis of particular algorithms
Primality and cryptography
Stability theory : an introd. to the stability of dynam. systems and rigid bodies
Networks and telecommunications : design and operation
Combinatorial search
Initial boundary value problems in mathematical physics
Combinatorial algorithms for integrated circuit layout
The complexity of Boolean functions
The mathematics of computerized tomography
The Religious Foundations of the European Crisis
The foundations of program verification
Digital processing of signals : theory and practice
Fundamentals of the average case analysis of particular algorithms
Primality and cryptography
Stability theory : an introd. to the stability of dynam. systems and rigid bodies
Networks and telecommunications : design and operation
Combinatorial search
Initial boundary value problems in mathematical physics
Combinatorial algorithms for integrated circuit layout
The complexity of Boolean functions
The mathematics of computerized tomography
The Religious Foundations of the European Crisis
The foundations of program verification
Digital processing of signals : theory and practice
Fundamentals of the average case analysis of particular algorithms
Primality and cryptography
Stability theory : an introd. to the stability of dynam. systems and rigid bodies
Networks and telecommunications : design and operation
Combinatorial search
Initial boundary value problems in mathematical physics
Combinatorial algorithms for integrated circuit layout
The complexity of Boolean functions
The mathematics of computerized tomography