Compartir
formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference fmoods 2007 paphos, cyprus, june 6-8, 2007 proceedi (en Inglés)
Marcello M. Bonsangue
(Ilustrado por)
·
Einar Broch Johnsen
(Ilustrado por)
·
Springer
· Tapa Blanda
formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference fmoods 2007 paphos, cyprus, june 6-8, 2007 proceedi (en Inglés) - Bonsangue, Marcello M. ; Johnsen, Einar Broch
$ 52.09
$ 54.99
Ahorras: $ 2.90
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis ListasSe enviará desde nuestra bodega entre el
Lunes 17 de Junio y el
Martes 18 de Junio.
Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.
Reseña del libro "formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference fmoods 2007 paphos, cyprus, june 6-8, 2007 proceedi (en Inglés)"
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.