Bjorner, Dines.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
Perspectives of system informatics4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers /
by:
(1998 :); Bjorner, Dines.; Broy, Manfred.; SpringerLink (Online service); Zamulin, Aleksandr Vasilevich.
(Electronic resources)
Software Engineering.2,Specification of Systems and Languages
by:
Bjorner, Dines.; SpringerLink (Online service)
(Electronic resources)
Perspectives of system informaticsThird International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings /
by:
(1998 :); Bjorner, Dines.; Broy, Manfred.; SpringerLink (Online service); Zamulin, Alexandre V.
(Electronic resources)
Software Engineering.Abstraction and Modelling /1
by:
Bjorner, Dines.; SpringerLink (Online service)
(Electronic resources)
Logics of Specification Languages /
by:
Bjorner, Dines.; Henson, Martin C.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Programming Techniques.
Computer systems
Programming languages (Electronic computers)
Software engineering.
Programming Languages, Compilers, Interpreters.
Computer programs
Computer Science.
Computer programming.