Languages
Derrick, John.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
Refinement = Semantics, Languages and Applications /
by:
Boiten, Eerke.; SpringerLink (Online service); Derrick, John.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Refinement in Z and Object-Z = foundations and advanced applications /
by:
Boiten, Eerke A.; Derrick, John.; SpringerLink (Online service)
(Language materials, printed)
Refinement = semantics, languages and applications /
by:
Boiten, Eerke.; SpringerLink (Online service); Derrick, John.
(Language materials, printed)
Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Derrick, John.
(Language materials, printed)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
SpringerLink (Online service); Derrick, John.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer logic.
Software engineering.
Object-oriented programming (Computer science)
Mathematics of Computing.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Machine learning
Z (Computer program language)
Application software
Software engineering
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.