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

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

NAPAW 92
42,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

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

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z
37,99 €
Versandfertig in 6-10 Tagen
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

Object-Oriented Discrete-Event Simulation with Java
110,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
José M. Garrido
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Practical Introduction
Softcover reprint of the original 1st ed. 2001
19. April 2013
Springer / Springer US / Springer, Berlin
978-1-4613-5495-6

A Modular Calculus for the Average Cost of Data Structuring
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Michel Schellekens
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2008
19. November 2014
Springer / Springer US / Springer, Berlin
978-1-4899-9906-1



Ähnlichkeitssuche: Fact®Finder von OMIKRON