Suchergebnisse für ""Robert Stärk""




Ähnliche Artikel


Formal Methods for Open Object-Based Distributed Systems V
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20¿22, 2002, Enschede, The Netherlands
Softcover reprint of the original 1st ed. 2002
21. März 2013
Springer / Springer US / Springer, Berlin
978-1-4757-5268-7

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
2014
7. Oktober 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-45230-1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
2014
7. Oktober 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-45233-2

Abstract State Machines, Alloy, B, TLA, VDM, and Z
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
1st ed. 2016
11. Mai 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-33599-5

Abstract State Machines, Alloy, B, TLA, VDM, and Z
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
2014
21. Mai 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-43651-6

Architecture Description Languages
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
2005
22. November 2014
Springer / Springer US / Springer, Berlin
978-1-4614-9895-7

Engineering Secure Future Internet Services and Systems
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Current Research
2014
21. Mai 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-07451-1

NAPAW 92
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
Softcover reprint of the original 1st ed. 1993
24. Februar 1993
Springer / Springer London / Springer, Berlin
978-3-540-19822-2

Verification, Model Checking, and Abstract Interpretation
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
2015
7. Januar 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-46080-1

Multimedia Tools for Communicating Mathematics
147,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2002
3. Oktober 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-62701-9



Ähnlichkeitssuche: Fact®Finder von OMIKRON