1. Programmverifikation :
Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Oprogramowanie -- weryfikacja.
Classification :
QA76
.
9
.
A73
K799
1994
