Výsledky vyhľadávania - "Electronic digital computers Programming"

Refinement calculus : a systematic introduction Autor Back, Ralph-Johan, Wright, J. (Joakim) von

“… Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time…”
Získať plný text