Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Bjorner, Dines.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Logics of Specification Languages by: SpringerLink (Online service); Bjorner, Dines.; Henson, Martin C. (Electronic resources)

Subjects

Software Engineering. Theory of Computation. Programming languages (Electronic computers)- Semantics. Computer Science. Logic, Symbolic and mathematical. Mathematical Logic and Formal Languages. Logics and Meanings of Programs.

Change password

Login