Olderog, Ernst-Rüdiger.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
SpringerLink (Online service); Yi, Wang.; Steffen, Bernhard.; Olderog, Ernst-Rüdiger.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
Yi, Wang.; Steffen, Bernhard.; Olderog, Ernst-Rüdiger.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Software engineering.
Logics and Meanings of Programs.
Computers, Special purpose.
Special purpose computers.
Computer Science Logic and Foundations of Programming.
Computer science.
Microprogramming .