語系
Derrick, John.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Refinement = Semantics, Languages and Applications /
by:
Boiten, Eerke.; SpringerLink (Online service); Derrick, John.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
Refinement = semantics, languages and applications /
by:
Boiten, Eerke.; SpringerLink (Online service); Derrick, John.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
主題
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.