Languages
Derrick, John.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
Integrated formal methods9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(1998 :); Derrick, John.; SpringerLink (Online service)
(Electronic resources)
Refinement in Z and Object-Zfoundations and advanced applications /
by:
Boiten, Eerke A.; Derrick, John.; SpringerLink (Online service)
(Electronic resources)
Abstract state machines, Alloy, B, VDM, and Zthird International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(1998 :); Derrick, John.; SpringerLink (Online service)
(Electronic resources)
Refinementsemantics, languages and applications /
by:
Boiten, Eerke.; Derrick, John.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Z (Computer program language)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Machine learning
Computer Science.
Discrete Mathematics in Computer Science.
Application software
Object-oriented programming (Computer science)