語系
Chechik, Marsha.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Fundamental approaches to software engineering = 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Marsha Chechik, Martin Wirsing /
by:
Chechik, Marsha.; Wirsing, M.; SpringerLink (Online service); FASE (2009 :)
(書目-語言資料,印刷品)
Tools and algorithms for the construction and analysis of systems = 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings /
by:
Chechik, Marsha.; Raskin, Jean-Francois.; SpringerLink (Online service)
(書目-電子資源)
Formal methods = 25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings /
by:
Chechik, Marsha.; Leucker, Martin.; SpringerLink (Online service); Katoen, Joost-Pieter.; International Symposium of Formal Methods Europe (2023 :)
(書目-電子資源)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
Chechik, Marsha.; SpringerLink (Online service); VSTTE (Conference) (2016 :); Blazy, Sandrine.
(書目-電子資源)
CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
by:
Breugel, Franck van, (1966-); Chechik, Marsha.; SpringerLink (Online service); International Conference on Concurrency Theory (2008 :)
(書目-語言資料,印刷品)
主題
Theory of Computation.
Software Engineering.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Compilers (Computer programs)
Programming Language.
Parallel processing (Electronic computers)- Congresses.
Computation by Abstract Devices.
Programming Techniques.
Software engineering- Congresses.
Computer software- Quality control
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
System design
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Science.
Computer Communication Networks.
Computer software- Verification
System analysis