Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Model Checking 2 [ausschließen]
- Beweis 1 [ausschließen]
- Böhmen 1 [ausschließen]
- Christliche Partei 1 [ausschließen]
- Computer software Quality control Congresses 1 [ausschließen]
- Computer software Reliability Congresses 1 [ausschließen]
- Computer software Testing Congresses 1 [ausschließen]
- Demokratisierung 1 [ausschließen]
- Europa 1 [ausschließen]
- Formale Methode 1 [ausschließen]
- Konferenzschrift 2009 Edmonton Alberta 1 [ausschließen]
- Konferenzschrift 2009 Zürich 1 [ausschließen]
- Konferenzschrift 2016 Wien 1 [ausschließen]
- Korrektheit 1 [ausschließen]
- Nationalismus 1 [ausschließen]
- Programmanalyse 1 [ausschließen]
- Schulträger 1 [ausschließen]
- Software Engineering 1 [ausschließen]
- Softwareentwicklung 1 [ausschließen]
- Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Zürich <2009> 1 [ausschließen]
- Softwaremetrie 1 [ausschließen]
- Softwaresystem 1 [ausschließen]
- Softwaresystem - Model Checking - Formale Methode - Kongress - Zürich <2009> 1 [ausschließen]
- Softwaretest 1 [ausschließen]
- Softwarewartung 1 [ausschließen]
- Verein 1 [ausschließen]
- Verifikation 1 [ausschließen]
-
1
Tests and proofs third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings
Veröffentlicht 2009Inhaltsverzeichnis
Tagungsbericht Buch -
2
Proceedings of the Conference September 20 - 26, 2009, Edmonton, Alberta, Canada ; [celebrating 25 years]
Veröffentlicht 2009Inhaltsverzeichnis
Tagungsbericht Buch -
3
-
4