Proof and system-reliability: [proceedings of the NATO Advanced Study Institute on Proof and System-Reliability Marktoberdorf, Germany 24 July - 5 August 2001]
Gespeichert in:
Bibliographische Detailangaben
Weitere beteiligte Personen: Schwichtenberg, Helmut 1942- (HerausgeberIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Dordrecht [u.a.] Kluwer 2002
Schriftenreihe:NATO science series Sub-series / 2 62
Umfang:XII, 415 S.
ISBN:1402006071