Languages
Jackson, Ethan.
Overview
Works: | 2 works in 2 publications in 1 languages |
---|
Titles
Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
Apel, Sven.; SpringerLink (Online service); Jackson, Ethan.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Foundations of computer software = modeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Jackson, Ethan.; Calinescu, Radu.
(Electronic resources)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer Communication Networks.
Computer software- Development
System Performance and Evaluation.
Computer software- Verification
Information Storage and Retrieval.
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Component software
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.