語系
Derrick, John.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Integrated formal methods9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(1998 :); Derrick, John.; SpringerLink (Online service)
(書目-電子資源)
Refinement in Z and Object-Zfoundations and advanced applications /
by:
Boiten, Eerke A.; Derrick, John.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
Refinementsemantics, languages and applications /
by:
Boiten, Eerke.; Derrick, John.; SpringerLink (Online service)
(書目-電子資源)
主題
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)