Olderog, Ernst-Rüdiger.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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 .