Nikolaj Bjørner

Nikolaj Bjørner

3 ספרים במאגר

ספרים

Perspectives of System InformaticsNikolaj Bjørner

Perspectives of System Informatics

Nikolaj Bjørner · 2015

FM 2015 : Formal MethodsNikolaj Bjørner

FM 2015 : Formal Methods

Nikolaj Bjørner · 2015

Automated Deduction -- CADE-23Nikolaj Bjørner

Automated Deduction -- CADE-23

Nikolaj Bjørner · 2011