語系
Wolff, Burkhart.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
by:
(1998 :); Dubois, Catherine.; SpringerLink (Online service); Wolff, Burkhart.
(書目-電子資源)
Tests and proofs5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(1998 :); Gogolla, Martin.; SpringerLink (Online service); Wolff, Burkhart.
(書目-電子資源)
Testing software and systems23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
(1998 :); SpringerLink (Online service); Wolff, Burkhart.; Zaidi, Fatiha.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Computer software
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering|vCongresses.
Models and Principles.
The Computing Profession.
Computer Science.
Systems and Data Security.