Suchergebnisse für ""Martin Hölzl""




Ähnliche Artikel


Software Engineering and Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
2014
4. August 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-10430-0

Software Engineering and Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
1st ed. 2015
21. August 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-22968-3

Testing Software and Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
2014
23. September 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-44856-4

Self-Aware Computing Systems
126,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1st ed. 2017
30. Januar 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-47472-4

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
1st ed. 2016
12. Juni 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-34095-1

Formal Methods for Industrial Critical Systems
36,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
2014
20. August 2014
Springer / Springer International Publishing / Springer, Berlin
86379531,978-3-319-10701-1

NASA Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
2015
9. April 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-17523-2

Hardware and Software: Verification and Testing
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
2014
6. November 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-13337-9

Dependable Software Engineering: Theories, Tools, and Applications
36,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
1st ed. 2015
27. Oktober 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-25941-3

Automated Technology for Verification and Analysis
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
2014
29. September 2014
Springer / Springer International Publishing / Springer, Berlin
86382662,978-3-319-11935-9



Ähnlichkeitssuche: Fact®Finder von OMIKRON