This image is currently not available.

Korrekte Software

Semantik, Spezifikation, Verifikation und Testen von Programmen
Wolfgang P. Kowalk(Author)
Hinrich E. Bonin(Editor)
Spektrum Fachvlg (Publisher)
1st Edition
Published on 1. November 1992
Book
Hardback
312 pages
978-3-86025-905-4 (ISBN)
Unfortunately, price unknown
Article is exhausted; no reprint

More details

Save as PDF Copy link into clipboard