Suchergebnisse für "Frank S. de Boer / Marcello M. Bonsangue / Susanne et al. Graf (Volume editor)"




Ähnliche Artikel


Formal Methods for Components and Objects
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
2009
7. September 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12742981,978-3-642-04166-2

FM 2008: Formal Methods
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
2008
8. Mai 2008
Springer, Berlin
12271788

Formal Methods for Components and Objects
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Repr. 2012
3. Januar 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-35886-9

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
79,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings
1997.
3. September 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-63533-8

From Object-Orientation to Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Olaf Owe / Stein Krogdahl / Tom Lyche (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Essays in Memory of Ole-Johan Dahl
2004
31. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21366-6

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
38,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Volume 2: Colloquium on Software Engineering (CSE)
1985.
1. März 1985
Springer, Berlin



Ähnlichkeitssuche: Fact®Finder von OMIKRON