Bjorner, Dines.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
Software Engineering.2,Specification of Systems and Languages
by:
Bjorner, Dines.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-電子資源)
Software Engineering.Abstraction and Modelling /1
by:
Bjorner, Dines.; SpringerLink (Online service)
(書目-電子資源)
Logics of Specification Languages /
by:
Bjorner, Dines.; Henson, Martin C.; SpringerLink (Online service)
(書目-電子資源)
主題
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.