11 Treffer zu

Frank S. de Boer

Treffer 1-11

  • Formal Methods for Components and Objects (eBook)
    9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
    2011, Englisch
    Springer Berlin
    PDF, mit DRM
    Print-Originalausgabe Fr. 79.90
    Fr. 72.00
    Sie sparen 10%
    Best Nr. 36369608
    eBook sofort als Download lieferbar
  •  
  • Formal Methods for Components and Objects
    9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
    2011, XI, 391 Seiten, 145 Schwarz-Weiss-Abbildungen, Masse: 15,7 x 23,9 cm, Kartoniert (TB), Englisch
    Springer-Verlag GmbH
    Fr. 79.90
    Best Nr. 37922211
    sofort lieferbar
    Detail-Infos
  •  
  • Formal Methods for Components and Objects
    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    2011, X, 339 Seiten, Masse: 15,6 x 23,8 cm, Kartoniert (TB), Englisch
    Springer-Verlag GmbH
    Fr. 84.90
    Best Nr. 28029486
    sofort lieferbar
  •  
  • Formal Methods for Components and Objects
    4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    2006, 444 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
    Springer
    Fr. 116.90
    Best Nr. 12126694
    lieferbar in 3 Tag(en)
  •  
  • Formal Methods for Components and Objects, FMCO 2003
    Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003
    2004, 384 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
    Springer-Verlag GmbH
    Fr. 84.90
    Best Nr. 4279253
    lieferbar in 3 Tag(en)
  •  
  • Formal Methods for Components and Objects, FMCO 2002
    Marcello Bonsangue, Susanne Graf, Willem P. DeRoever
    First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures
    2003, 524 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
    Springer-Verlag GmbH
    Fr. 124.90
    Best Nr. 11219766
    lieferbar in 3 Tag(en)
  •  
  • Formal Methods for Components and Objects
    7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
    2009, X, 297 Seiten, Masse: 15,7 x 24,1 cm, Kartoniert (TB), Englisch
    Springer-Verlag GmbH
    Fr. 94.90
    Best Nr. 21024283
    sofort lieferbar
    Detail-Infos
  •  
  • Verification of Sequential and Concurrent Programs
    Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
    2009, 3rd ed., XXIII, 502 Seiten, 26 Schwarz-Weiss-Abbildungen, Masse: 15,5 x 23,5 cm, Gebunden, Englisch
    Springer-Verlag GmbH
    Fr. 99.90
    Best Nr. 1072708
    sofort lieferbar
    Detail-Infos
  •  
  • Formal Methods for Components and Objects
    6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
    2008, X, 313 Seiten, Masse: 15,6 x 24,2 cm, Kartoniert (TB), Englisch
    Springer-Verlag GmbH
    Fr. 84.90
    Best Nr. 19263374
    sofort lieferbar
  •  
  • Formal Methods for Open Object-Based Distributed Systems
    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
    2008, X, 259 Seiten, Masse: 15,9 x 23,9 cm, Kartoniert (TB), Englisch
    Springer-Verlag GmbH
    Fr. 99.90
    Best Nr. 19381995
    sofort lieferbar
    Detail-Infos
  •  
  • Formal Methods for Components and Objects
    5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
    2008, VIII, 297 Seiten, Masse: 15,4 x 23,8 cm, Kartoniert (TB), Englisch
    Springer-Verlag GmbH
    Fr. 84.90
    Best Nr. 19183292
    sofort lieferbar
    Detail-Infos

Treffer 1-11