Bjorner, Dines.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logics of Specification Languages
by:
Bjorner, Dines.; Henson, Martin C.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Perspectives of system informatics = Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings /
by:
Bjorner, Dines.; Broy, Manfred.; Zamulin, Alexandre V.; SpringerLink (Online service); International Andrei Ershov Memorial Conference (1999 :)
(書目-語言資料,印刷品)
Perspectives of system informatics = 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers/
by:
Bjorner, Dines.; Broy, Manfred.; SpringerLink (Online service); International Andrei Ershov Memorial Conference (2001 :); Zamulin, Aleksandr Vasilevich.
(書目-語言資料,印刷品)