marcello m bonsangue
Formal Methods for Components and Objects
EbookSofort lieferbarAll modern industries rely on large and complex software systems. In order toconstruct such large...
It’s All About Coordination
EbookSofort lieferbarThis Festschrift volume has been published to celebrate the lifelong scientific achievements of F...
Formal Methods for Components and Objects
EbookSofort lieferbarThis book constitutes revised lectures from the 11th Symposium on Formal Methods for Components a...
Formal Methods for Components and Objects
EbookSofort lieferbarThis book presents 12 revised lectures given by top-researchers at the 5th International Symposiu...
Formal Methods for Open Object-Based Distributed Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on...
Formal Methods for Components and Objects
EbookSofort lieferbarThe focus in development methodologies of large and complex software systems has switched in the ...
Formal Methods for Components and Objects
EbookSofort lieferbarThis book presents 19 revised invited keynote lectures and revised tutorial lectures given at the...
Formal Methods for Components and Objects
EbookSofort lieferbarAll modern industries rely on large and complex software systems. In order to construct such larg...
Formal Methods for Components and Objects
EbookSofort lieferbarFormal methods have been applied successfully to the verification of medium-sized programs in pro...
Coalgebraic Methods in Computer Science
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop...
Theory and Practice of Formal Methods
EbookSofort lieferbarThis Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th ...
Formal Methods for Components and Objects
EbookSofort lieferbarFormal methods have been applied successfully to the verification of medium-sized programs in pro...