1990

Logic for Computer Science

Reeves, S., Clarke, M.

Základní údaje

Originální název

Logic for Computer Science

Autoři

Reeves, S., Clarke, M.

Vydání

Addison-Wesley Longman Publishing Co. Boston, 1990

Další údaje

Odkazy

URL

Označené pro přenos do RIV

Ne
Změněno: 31. 1. 2019 10:25, RNDr. Jan Géryk, Ph.D.
Zobrazeno: 28. 2. 2026 20:39