Name: 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)
Price: 1195.74 MXN
Availability: InStock
Author: Bonsangue, Marcello M. ; Johnsen, Einar Broch
ISBN: 9783540729198

Envío gratis

portada 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)

Formato

Libro Físico

Ilustrado por

Marcello M. Bonsangue

Einar Broch Johnsen

Editorial

Springer

Autor

Bonsangue, Marcello M. ; Johnsen, Einar Broch

Año

2007

Idioma

Inglés

N° páginas

317

Encuadernación

Tapa Blanda

Dimensiones

23.3 x 16.0 x 2.0 cm

Peso

0.51 kg.

ISBN

3540729194

ISBN13

9783540729198

Categorías

Hardware de redes
Lenguajes de programación scripting

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

Libro Nuevo

$ 1,195.74

$ 2,174.07

Ahorras: $ 978.33

45% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 07 de Junio y el Jueves 20 de Junio.

Lo recibirás en cualquier lugar de México 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.