Chechik, Marsha.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Fundamental approaches to software engineering12th 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:
(1998 :); Chechik, Marsha.; SpringerLink (Online service); Wirsing, M.
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems22nd 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:
(1998 :); Chechik, Marsha.; Raskin, Jean-Francois.; SpringerLink (Online service)
(書目-電子資源)
CONCUR 2008 - Concurrency Theory19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
by:
(1998 :); Breugel, Franck van, (1966-); Chechik, Marsha.; SpringerLink (Online service)
(書目-電子資源)
Formal methods25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings /
by:
(1998 :); Chechik, Marsha.; Katoen, Joost-Pieter.; Leucker, Martin.; SpringerLink (Online service)
(書目-電子資源)
Verified Software. Theories, Tools, and Experiments8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
(1998 :); Blazy, Sandrine.; Chechik, Marsha.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Compilers (Computer programs)
Programming Language.
Programming Techniques.
Computation by Abstract Devices.
Computer software
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 Communication Networks.
Parallel processing (Electronic computers)
Computer Science.
System analysis