語系
Wolff, Burkhart.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
by:
Dubois, Catherine.; SpringerLink (Online service); Wolff, Burkhart.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
SpringerLink (Online service); Wolff, Burkhart.; Zaidi, Fatiha.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Unifying theories of programming = 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers /
by:
Feliachi, Abderrahmane.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Wolff, Burkhart.; Gaudel, Marie-Claude.
(書目-語言資料,印刷品)
Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
SpringerLink (Online service); Gogolla, Martin.; Wolff, Burkhart.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Systems and Data Security.
Computer logic.
Software engineering.
The Computing Profession.
Programming Techniques.
Computer Science.
Computer programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer security.
Models and Principles.
Computer software
Computation by Abstract Devices.