frank s de boer

Grid   List

  1. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Verification of Sequential and Concurrent Programs
    Verification of Sequential and Concurrent Programs
    Krzysztof R. Apt
    Springer London
    Ebook
    Sofort lieferbar
    Computer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioning and safety of these systems is of paramount importance. The developmen...
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. It’s All About Coordination
    It’s All About Coordination
    Frank de Boer
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (C...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Elena Giachino
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this v...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in Novembe...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Bernhard K. Aichernig
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriente...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. FM 2015: Formal Methods
    FM 2015: Formal Methods
    Nikolaj Bjørner
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented we...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents 19 revised invited keynote lectures and revised tutorial lectures given at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, Amsterdam, Nov...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Bernhard Beckert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large syst...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Theoretical Computer Science
    Theoretical Computer Science
    Jos C. M. Baeten
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012. The 25 revised full papers presented,...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires m...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Frank de Boer
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The...
    58,84 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
<%--for search--%>