語系
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.
Computers.
The Computing Profession.
Software engineering
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers).
Computer security.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Models and Principles.
Computer software
Computation by Abstract Devices.