語系
Margaria, Tiziana.
概要
作品: | 1 作品在 5 項出版品 1 種語言 |
---|
書目資訊
Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana.
(書目-電子資源)
Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II /
by:
Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II /
by:
Steffen, Bernhard.; Congress on Progress and Controversies in Oncological Urology (2000:); Margaria, Tiziana.; SpringerLink (Online service)
(書目-電子資源)
Service-oriented computing - ICSOC 2008 = 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
by:
Bouguettaya, Athman.; SpringerLink (Online service); Margaria, Tiziana.; ICSOC 2008 (Sydney, N.S.W.)) ((2008 :); Krueger, Ingolf.
(書目-電子資源)
Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I /
by:
Steffen, Bernhard.; Congress on Progress and Controversies in Oncological Urology (2000:); Margaria, Tiziana.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Computers and Society.
Operating Systems.
Computer Communication Networks.
Service-oriented architecture (Computer science)
Information Storage and Retrieval.
Business Information Systems.
Software engineering
Computer Science.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Data Mining and Knowledge Discovery.
Computer software- Verification
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Computer software- Validation