Suchergebnisse für ""Frank S. de Boer / Marcello M. Bonsangue / Susanne Graf / Willem-Paul de Roever""




Ähnliche Artikel


Formal Methods for Components and Objects
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Frank S. de Boer / Marcello M. Bonsangue / Graf, Susanne Roever, Willem-Paul de (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
2007
18. Dezember 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12119530,978-3-540-74791-8

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

Formal Methods for Components and Objects
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Frank S. de Boer / Marcello M. Bonsangue / Susanne et al. Graf (Volume editor)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
2008
1. Dezember 2008
Springer, Berlin
12582655

Formal Methods for Components and Objects
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Frank S.de Boer / Marcello Bonsangue / Susanne Graf / Willem-Paul de Roever (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
2003
9. Oktober 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20303-2

Algebraic Methodology and Software Technology
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Johnson
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings
1997.
1. Dezember 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10652702,978-3-540-63888-9

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
83,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

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

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

FME '94: Industrial Benefit of Formal Methods
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Naftalin
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
1994.
12. Oktober 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58555-8



Ähnlichkeitssuche: Fact®Finder von OMIKRON