Výsledky vyhledávání
Váš dotaz:
Autoři všichni = "NATO Advanced Study Institute on Deductive Program Design"
- Deductive program design / edited by Manfred Broy. Berlin : Springer, 1996 . VIII, 467 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0