Languages
Chechik, Marsha.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
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 :)
(Language materials, printed)
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)
(Electronic resources)
Formal methods = 25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings /
by:
International Symposium of Formal Methods Europe (2023 :); Chechik, Marsha.; Katoen, Joost-Pieter.; Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
VSTTE (Conference) (2016 :); Blazy, Sandrine.; Chechik, Marsha.; SpringerLink (Online service)
(Electronic resources)
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 :)
(Language materials, printed)
Subjects
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