Languages
Jackson, Paul.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
Touili, Tayssir.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Cook, Byron.; Jackson, Paul.
(Electronic resources)
Reconstructing Security after Conflict = Security Sector Reform in Sierra Leone.
by:
Sierra Leone; Great Britain; Albrecht, Peter.; Jackson, Paul.
(Electronic resources)
Subjects
Software Engineering.
Electronic digital computers- Evaluation
Artificial Intelligence (incl. Robotics)
Sierra Leone- History- Civil War, 1991-2002
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Political Science.
Computer software- Verification
Great Britain