Languages
Wolff, Burkhart.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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 :)
(Language materials, printed)
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.
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
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.