- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783519021018
3519021013
9780471903239
047190323X
- Maße
-
24 cm
- Umfang
-
IX, 230 S.
- Sprache
-
Englisch
- Anmerkungen
-
Literaturverz. S. 222 - 226
- Schlagwort
-
Verifikation
Verifikation (Datenverarbeitung)
Programm (Datenverarbeitung)
Statistischer Test
Programm
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart, Chichester, New York, Brisbane, Toronto, Singapore
- (wer)
-
Teubner, Wiley
- (wann)
-
1984
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:45 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Loeckx, Jacques
- Sieber, Kurt
- Teubner, Wiley
Entstanden
- 1984
Ähnliche Objekte (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
Networks and telecommunications : design and operation
Stability theory : an introd. to the stability of dynam. systems and rigid bodies
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
Networks and telecommunications : design and operation
Stability theory : an introd. to the stability of dynam. systems and rigid bodies
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
Networks and telecommunications : design and operation
Stability theory : an introd. to the stability of dynam. systems and rigid bodies
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