marcello m bonsangue

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. 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
  3. 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
  4. 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
  5. Formal Methods for Open Object-Based Distributed Systems
    Formal Methods for Open Object-Based Distributed Systems
    Marcello M. Bonsangue
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June...
    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. 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
  8. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Marcello M. Bonsangue
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the las...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Marcello M. Bonsangue
    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
  10. Coalgebraic Methods in Computer Science
    Coalgebraic Methods in Computer Science
    Marcello M. Bonsangue
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble,...
    50,28 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Theory and Practice of Formal Methods
    Theory and Practice of Formal Methods
    Erika Ábrahám
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formalmethods and theor...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. 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
  1. 1
  2. 2
  3. 3
<%--for search--%>