Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Formale Methode 5 [ausschließen]
- Programmierung 4 [ausschließen]
- Software Engineering 4 [ausschließen]
- Softwaretest 4 [ausschließen]
- Unifikationstheorie 4 [ausschließen]
- Leistungsbewertung 3 [ausschließen]
- Model Checking 3 [ausschließen]
- Programmanalyse 3 [ausschließen]
- Programmverifikation 3 [ausschließen]
- Web Services 3 [ausschließen]
- Datensicherung 2 [ausschließen]
- Dienstgüte 2 [ausschließen]
- Konferenzschrift 2 [ausschließen]
- Serviceorientierte Architektur 2 [ausschließen]
- Softwareentwicklung 2 [ausschließen]
- Verifikation 2 [ausschließen]
- Abstrakte Zustandsmaschine 1 [ausschließen]
- Ad-hoc-Netz 1 [ausschließen]
- Alloy Programmiersprache 1 [ausschließen]
- Anwendungssystem 1 [ausschließen]
- Application software Congresses 1 [ausschließen]
- B-Methode 1 [ausschließen]
- Ciência da computação (congressos) 1 [ausschließen]
- Computation by Abstract Devices 1 [ausschließen]
- Computer Science 1 [ausschließen]
- Computer logic 1 [ausschließen]
- Computer networks Management Congresses 1 [ausschließen]
- Computer science 1 [ausschließen]
- Computers 1 [ausschließen]
- Computersicherheit 1 [ausschließen]
-
1
Unifying theories of programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers
Veröffentlicht 2017
VolltextElektronisch Tagungsbericht E-Book -
2
Unifying theories of programming 6th international Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers
Veröffentlicht 2017Tagungsbericht Buch -
3
-
4
Unifying theories of programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 ; revised selected papers
Veröffentlicht 2013Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
5
Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings
Veröffentlicht 2012Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
6
Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15 - 16, 2010 ; proceedings
Veröffentlicht 2010Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
7
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings
Veröffentlicht 2008Inhaltsverzeichnis
Tagungsbericht Buch -
8
Software engineering and formal methods 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1 - 5, 2012 ; proceedings
Veröffentlicht 2012Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
9
-
10
Formal methods: foundations and applications 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings
Veröffentlicht 2012Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
11
-
12