Beierle, Christoph; Olthoff, Walter G.; Voß, Angi (1988): Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung ...
Christoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung.
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. (Informatik Spektrum: Vol. 11, No. 6, 1988) Beierle ...
Apr 25, 2024 · Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Inform. Spektrum 11(6): 292-302 (1988).
... Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung, Informatik Spektrum, 11(6), pp. 292–302, 1988. Google ...
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Informatik Spektrum - INSK, 1988. Edit. Research paper ...
Christoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. 292-302 ...
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der SoftwareentwicklungChristoph Beierle, Walter G. Olthoff, Angi Voß. insk, 11(6): ...
People also ask
Was bedeutet QA in der Softwareentwicklung?
Was ist Qualität in der Softwareentwicklung?
IWBS Report, (1989 )Qualitätssicherung durch Programmverifikation und algebraische Methoden in der SoftwareentwicklungC. Beierle, W. Olthoff, und A. Voß ...
Oct 15, 2021 · Gegenstand des Seminars ist die Vermittlung von Methoden der Modellbildung für die Neurowissenschaften. Die Funktionssysteme des ...