1
Cover Image
Published 2015
Other Authors: '; “...Bjørner, Nikolaj....”
Get full text
2
Cover Image
Published 2015
Other Authors: '; “...Bjorner, Nikolaj...”
3
Cover Image
Published 2016
Other Authors: '; “...Bjorner, Nikolaj....”
Get full text
Search Tools: Get RSS Feed — Email this Search

Related Subjects

Software engineering Algorithm Analysis and Problem Complexity Algorithms Application software Computation by Abstract Devices Computer Communication Networks Computer communication systems Computer logic Computer science Computer security Computers Database Management Database management Formal methods (Computer science) Information Storage and Retrieval Information Systems Applications (incl. Internet) Information storage and retrieval Logics and Meanings of Programs Management information systems Management of Computing and Information Systems Mathematical Logic and Formal Languages Mathematical logic Mathematical logic and formal languages Software Engineering Systems and Data Security