語系
Cavalcanti, Ana.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software Engineering for Robotics
by:
Timmis, Jon.; Cavalcanti, Ana.; SpringerLink (Online service); Dongol, Brijesh.; Hierons, Rob.; Woodcock, Jim.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
Dams, Dennis.; SpringerLink (Online service); Cavalcanti, Ana.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Cavalcanti, Ana.; Petrucci, Laure.; Seceleanu, Cristina.
(書目-語言資料,印刷品)
Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /
by:
Cavalcanti, Ana.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Breitman, Karin.
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Software engineering.
Robotics and Automation.
Automation.
Computer Science.
Programming Techniques.
Computer programs
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
System design
Special Purpose and Application-Based Systems.
Robotics.
Software engineering
Programming Languages, Compilers, Interpreters.
Models and Principles.
Computer software