語系
Gnesi, Stefania.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Critical systems = formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings /
by:
Beek, Maurice H. ter.; SpringerLink (Online service); Gnesi, Stefania.; Knapp, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
FM 2016: Formal Methods = 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
by:
SpringerLink (Online service); Fitzgerald, John.; Philippou, Anna.; Heitmeyer, Constance.; Gnesi, Stefania.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Critical Systems: Formal Methods and Automated Verification = Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
by:
Knapp, Alexander.; SpringerLink (Online service); ter Beek, Maurice H.; Gnesi, Stefania.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamental approaches to software engineering = 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
Rensink, Arend.; Gnesi, Stefania.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings /
by:
Ferrari, Alessio.; SpringerLink (Online service); Madhavji, Nazim.; Gnesi, Stefania.; Pasquale, Liliana.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Computer logic.
Artificial intelligence.
Software engineering.
Information Systems Applications (incl. Internet).
Computer Science.
Computer programs
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Management of Computing and Information Systems.
Application software.
User interfaces (Computer systems).
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer science.
Management information systems.
Computers.
User Interfaces and Human Computer Interaction.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.