Formal Methods for Open Object-Base - E-book

eBook

Formal Methods For Open Object-based Distributed Systems - ENG

9th Ifip Wg 6.1 International Conference, Fmoods 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Einar Broch Johnsen; Marcello M. Bonsangue

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783540729525
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Lenguajes de programación general
Año de publicación:	2007-06-27

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 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

eBooks