einar broch johnsen
Service-Oriented and Cloud Computing
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented...
Formal Methods for Open Object-Based Distributed Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on...
Tests and Proofs
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 11th International Conference on Tests and ...
Theory and Practice of Formal Methods
TaschenbuchPrint on DemandThis Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 6...
Integrated Formal Methods
TaschenbuchPrint on DemandInhaltsangabeFrom Z to B and then Event-B: Assigning Proofs to Meaningful Programs.- Systems Desi...
Formal Methods for Multicore Programming
TaschenbuchPrint on DemandInhaltsangabeParallel Objects for Multicores: A Glimpse at the Parallel Language Encore.- Coordin...
Service-Oriented and Cloud Computing
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 6th IFIP WG 2.14 European Conference on Ser...
Software Engineering and Formal Methods
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 16th International Conference on Software E...
Fundamental Approaches to Software Engineering
TaschenbuchPrint on DemandThis open access book constitutes the proceedings of the 25th International Conference on Fundame...
- 1