言語
Bertogna, Marko.
概観
著作: | 1 作品に 2 出版物中に 1 言語 |
---|
タイトル
Reliable software technologies - Ada-Europe 2016[electronic resource] :21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings /
…で:
Bertogna, Marko.; Clark Conference ((2005 :); Pinho, Luis Miguel.; Quinones, Eduardo.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Multiprocessor scheduling for real-time systems[electronic resource] /
…で:
Baruah, Sanjoy.; Bertogna, Marko.; Buttazzo, Giorgio.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronics and Microelectronics, Instrumentation.
Computer software
Multiprocessors.
Processor Architectures.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Circuits and Systems.
Real-time data processing.
Engineering.
Computer Science.