Languages
Derrick, John.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Derrick, John.; SpringerLink (Online service)
(Electronic resources)
Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Derrick, John.
(Electronic resources)
Subjects
Software Engineering.
Machine learning
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Software engineering
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Programming Techniques.
Computer Science.