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




Ähnliche Artikel


Formal Methods for Components and Objects
38,99 €
Versandfertig in 6-10 Tagen
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
18. Dezember 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12119530,978-3-540-74791-8

Formal Methods for Components and Objects
38,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
7. September 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12742981,978-3-642-04166-2

Formal Methods for Components and Objects
38,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
1. Dezember 2008
Springer, Berlin
12582655

Formal Methods for Components and Objects
39,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
9. Oktober 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20303-2

FME '94: Industrial Benefit of Formal Methods
77,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

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
77,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
38,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
31. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21366-6

Algebraic Methodology and Software Technology
77,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

Fundamental Approaches to Software Engineering
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Astesiano
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
1998.
11. März 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10632029,978-3-540-64303-6



Ähnlichkeitssuche: Fact®Finder von OMIKRON