-
All
-
Online
-
Filters
Logic Degrees in Bergen
University of Bergen
- Master
- Bergen (Norway)
- Different dates available
- 2 Years
... about programs, with special focus on correctness, broadly understood, as distinct from algorithmic efficiency. This can involve typing systems, functional paradigm, category theory, reasoning about data bases, or many other aspects of logic in computer science...
Price on request
Questions & Answers
Add your question
Our advisors and other users will be able to reply to you