言語
Margaria, Tiziana.
概観
| 著作: | 1 作品に 3 出版物中に 1 言語 | |
|---|---|---|
タイトル
Leveraging applications of formal methods, verification and validation[electronic resource] :foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I /
…で:
Clark Conference ((2005 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(コンピュータ・メディア)
Leveraging applications of formal methods, verification and validation[electronic resource] :discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part II /
…で:
Clark Conference ((2005 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(コンピュータ・メディア)
Service-oriented computing - ICSOC 2008[electronic resource] :6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
…で:
Bouguettaya, Athman.; ICSOC 2008 (Sydney, N.S.W.)) ((2008 :); Krueger, Ingolf.; Margaria, Tiziana.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Information Storage and Retrieval.
Robots
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Service-oriented architecture (Computer science)
Information Systems Applications (incl.Internet)
Business Information Systems.
Machine learning
Computer Science.
Computer Communication Networks.
Computers and Society.