The Deductive foundations of computer programming /

Spremljeno u:
Bibliografski detalji
Glavni autor: Manna, Zohar (autor)
Daljnji autori: Waldinger, Richard
Format: Knjiga
Jezik:engleski
Izdano: Reading, EUA : Addison-Wesley, 1993, c1993
Teme:
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!