Autorzy | |
Wydawnictwo | Springer Nature |
Data wydania | 30/06/2007 |
Wydanie | Pierwsze |
Forma publikacji | eBook: Fixed Page eTextbook (PDF) |
Język | angielski |
ISBN | 9783540727347 |
Kategorie | Logika matematyczna, Programowanie komputerowe/rozwój oprogramowania, Nauki komputerowe |
Logical Foundations of Computer Science